Towards a Usable and Sustainable Deductive Verification Tool
| Title | Towards a Usable and Sustainable Deductive Verification Tool |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2022 |
| Authors | Beckert, B, Bubel, R, Hähnle, R, Ulbrich, M |
| Conference Name | Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA) |
| Pagination | 281-300 |
| Publisher | Springer |
| DOI | 10.1007/978-3-031-19756-7_16 |
Undefined