@inproceedings{BeckertBubelEtAl2022,
author = {Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Mattias Ulbrich},
title = {Towards a Usable and Sustainable Deductive Verification Tool},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering (ISoLA) 2022},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {281--300},
publisher = {Springer},
year = {2022},
doi = {10.1007/978-3-031-19756-7\_16},
url = {https://doi.org/10.1007/978-3-031-19756-7\_16}
}
Towards a Usable and Sustainable Deductive Verification Tool
| Autor(en): | Bernhard Beckert, Richard Bubel, Reiner Hähnle und Mattias Ulbrich |
|---|---|
| In: | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (ISoLA) 2022 |
| Verleger: | Springer |
| Reihe: | Lecture Notes in Computer Science |
| Band: | 13702 |
| Jahr: | 2022 |
| Seiten: | 281-300 |
| URL: | https://doi.org/10.1007/978-3-031-19756-7_16 |
| DOI: | 10.1007/978-3-031-19756-7_16 |
| Links: | The final publication is available at Springer. |