Modular verification of JML contracts using bounded model checking

Publikationstyp
Konferenz
Autor(en)
Beckert, Bernhard and Kirsten, Michael and Klamroth, Jonas and Ulbrich, Mattias
Jahr
2020
Seiten
60--80
Buchtitel
International Symposium on Leveraging Applications of Formal Methods
Organisation
Springer
Download .bib
Download .bib
Eingetragen von
Jonas Klamroth