%0 Conference Paper %1 conf/oopsla/LeavensRLPJ00 %A Leavens, Gary T. %A Ruby, Clyde %A Leino, K. Rustan M. %A Poll, Erik %A Jacobs, Bart %B OOPSLA Addendum %D 2000 %E Haungs, James %I ACM %K dblp %P 105-106 %T JML (poster session): notations and tools supporting detailed design in Java. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2000a.html#LeavensRLPJ00 %@ 1-58113-307-3

@inproceedings{conf/oopsla/LeavensRLPJ00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Leavens, Gary T. and Ruby, Clyde and Leino, K. Rustan M. and Poll, Erik and Jacobs, Bart}, biburl = {https://www.bibsonomy.org/bibtex/215c403ee8f42d246a46677328298a144/dblp}, booktitle = {OOPSLA Addendum}, crossref = {conf/oopsla/2000a}, editor = {Haungs, James}, ee = {https://doi.org/10.1145/367845.367996}, interhash = {d8e7158d4c4cf2b4bb2c07c6ce8cc6df}, intrahash = {15c403ee8f42d246a46677328298a144}, isbn = {1-58113-307-3}, keywords = {dblp}, pages = {105-106}, publisher = {ACM}, timestamp = {2024-04-09T11:43:36.000+0200}, title = {JML (poster session): notations and tools supporting detailed design in Java.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2000a.html#LeavensRLPJ00}, year = 2000 }