Seamless interactive program verification

Publikationstyp
Konferenz
Autor(en)
Grebing, Sarah and Klamroth, Jonas and Ulbrich, Mattias
Jahr
2019
Seiten
68--86
Buchtitel
Working Conference on Verified Software: Theories, Tools, and Experiments
Organisation
Springer, Cham
Download .bib
Download .bib
Eingetragen von
Jonas Klamroth