%0 Conference Paper %1 conf/cassis/CokK04 %A Cok, David R. %A Kiniry, Joseph %B CASSIS %D 2004 %E Barthe, Gilles %E Burdy, Lilian %E Huisman, Marieke %E Lanet, Jean-Louis %E Muntean, Traian %I Springer %K dblp %P 108-128 %T ESC/Java2: Uniting ESC/Java and JML. %U http://dblp.uni-trier.de/db/conf/cassis/cassis2004.html#CokK04 %V 3362 %@ 3-540-24287-2

@inproceedings{conf/cassis/CokK04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Cok, David R. and Kiniry, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/2599ca0444b87d23d47f808826a97b1c1/dblp}, booktitle = {CASSIS}, crossref = {conf/cassis/2004}, editor = {Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis and Muntean, Traian}, ee = {https://doi.org/10.1007/978-3-540-30569-9_6}, interhash = {5889a0d9c226c6b8cc947d2b9c294090}, intrahash = {599ca0444b87d23d47f808826a97b1c1}, isbn = {3-540-24287-2}, keywords = {dblp}, pages = {108-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:38:04.000+0200}, title = {ESC/Java2: Uniting ESC/Java and JML.}, url = {http://dblp.uni-trier.de/db/conf/cassis/cassis2004.html#CokK04}, volume = 3362, year = 2004 }