%0 Conference Paper %1 conf/ecoop/RodriguezDFHLR05 %A Rodríguez, Edwin %A Dwyer, Matthew B. %A Flanagan, Cormac %A Hatcliff, John %A Leavens, Gary T. %A Robby, %B ECOOP %D 2005 %E Black, Andrew P. %I Springer %K dblp %P 551-576 %T Extending JML for Modular Specification and Verification of Multi-threaded Programs. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2005.html#RodriguezDFHLR05 %V 3586 %@ 3-540-27992-X

@inproceedings{conf/ecoop/RodriguezDFHLR05, added-at = {2017-05-21T00:00:00.000+0200}, author = {Rodríguez, Edwin and Dwyer, Matthew B. and Flanagan, Cormac and Hatcliff, John and Leavens, Gary T. and Robby}, biburl = {https://www.bibsonomy.org/bibtex/20bdf05406c1eb26e36be6b1f7373af4d/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2005}, editor = {Black, Andrew P.}, ee = {https://doi.org/10.1007/11531142_24}, interhash = {4867d6d364a6febd3caf8176a31accb5}, intrahash = {0bdf05406c1eb26e36be6b1f7373af4d}, isbn = {3-540-27992-X}, keywords = {dblp}, pages = {551-576}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:02:21.000+0200}, title = {Extending JML for Modular Specification and Verification of Multi-threaded Programs.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2005.html#RodriguezDFHLR05}, volume = 3586, year = 2005 }