%0 Generic %1 Jml %A Leavens, G. %A Cheon, Y. %D 2003 %K imported %T Design by Contract with JML

@misc{Jml, added-at = {2009-09-04T16:30:19.000+0200}, author = {Leavens, G. and Cheon, Y.}, biburl = {https://www.bibsonomy.org/bibtex/2bbe5945c0e9c65731c00f526b82d7a23/reinierpost}, interhash = {157a1d29081bd0d36e2b93a5cfde925f}, intrahash = {bbe5945c0e9c65731c00f526b82d7a23}, keywords = {imported}, optlocation = {Reinier Post (reinpost@win.tue.nl)}, optnote = {exported from refbase (http://www.win.tue.nl/{\textasciitilde}rp/refbase/show.php?record=73), last updated on Fri, 04 Sep 2009 12:10:56 +0200}, opturl = {http://www.jmlspecs.org}, timestamp = {2009-09-04T16:30:20.000+0200}, title = {Design by Contract with JML}, year = 2003 }