Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich. Modular Verification of JML Contracts Using Bounded Model Checking. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Volume 12476 of Lecture Notes in Computer Science, pages 60-80, Springer, 2020. [doi]
@inproceedings{BeckertKKU20,
title = {Modular Verification of JML Contracts Using Bounded Model Checking},
author = {Bernhard Beckert and Michael Kirsten and Jonas Klamroth and Mattias Ulbrich},
year = {2020},
doi = {10.1007/978-3-030-61362-4_4},
url = {https://doi.org/10.1007/978-3-030-61362-4_4},
researchr = {https://researchr.org/publication/BeckertKKU20},
cites = {0},
citedby = {0},
pages = {60-80},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {12476},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-61362-4},
}