%0 Conference Paper %1 conf/isola/BeckertKKU20 %A Beckert, Bernhard %A Kirsten, Michael %A Klamroth, Jonas %A Ulbrich, Mattias %B ISoLA (1) %D 2020 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 60-80 %T Modular Verification of JML Contracts Using Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/isola/isola2020-1.html#BeckertKKU20 %V 12476 %@ 978-3-030-61362-4

@inproceedings{conf/isola/BeckertKKU20, added-at = {2023-06-26T00:00:00.000+0200}, author = {Beckert, Bernhard and Kirsten, Michael and Klamroth, Jonas and Ulbrich, Mattias}, biburl = {https://www.bibsonomy.org/bibtex/2206333ea626d2304375d2bb5cf0615b6/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2020-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-61362-4_4}, interhash = {4e0b6c2cfb880aedaea6dc190095b99d}, intrahash = {206333ea626d2304375d2bb5cf0615b6}, isbn = {978-3-030-61362-4}, keywords = {dblp}, pages = {60-80}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:58:37.000+0200}, title = {Modular Verification of JML Contracts Using Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2020-1.html#BeckertKKU20}, volume = 12476, year = 2020 }