BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Preliminary design of JML: a behavioral interface specification language for java.

ACM SIGSOFT Software Engineering Notes, 31(3): 1-38, 2006.
Authors: Gary T. Leavens and Albert L. Baker and Clyde Ruby
URL: http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#LeavensBR06
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/sigsoft/LeavensBR06,
title = {Preliminary design of JML: a behavioral interface specification language for java.},
author = {Gary T. Leavens and Albert L. Baker and Clyde Ruby},
journal = {ACM SIGSOFT Software Engineering Notes},
number = {3},
pages = {1-38},
url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#LeavensBR06},
volume = {31},
year = {2006},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1127878.1127884}, date = {2008-05-07},
keywords = {dblp }
}