%0 Conference Paper %1 conf/fmco/LeavensCCRC02 %A Leavens, Gary T. %A Cheon, Yoonsik %A Clifton, Curtis %A Ruby, Clyde %A Cok, David R. %B FMCO %D 2002 %E de Boer, Frank S. %E Bonsangue, Marcello M. %E Graf, Susanne %E de Roever, Willem P. %I Springer %K dblp %P 262-284 %T How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2002.html#LeavensCCRC02 %V 2852 %@ 3-540-20303-6

@inproceedings{conf/fmco/LeavensCCRC02, added-at = {2017-05-17T00:00:00.000+0200}, author = {Leavens, Gary T. and Cheon, Yoonsik and Clifton, Curtis and Ruby, Clyde and Cok, David R.}, biburl = {https://www.bibsonomy.org/bibtex/25f6a6a4dd32cdbc9524e6b1b0b2e4b12/dblp}, booktitle = {FMCO}, crossref = {conf/fmco/2002}, editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.}, ee = {https://doi.org/10.1007/978-3-540-39656-7_11}, interhash = {62eecab5116678af1cc23b6406a84497}, intrahash = {5f6a6a4dd32cdbc9524e6b1b0b2e4b12}, isbn = {3-540-20303-6}, keywords = {dblp}, pages = {262-284}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:47:54.000+0200}, title = {How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2002.html#LeavensCCRC02}, volume = 2852, year = 2002 }