Publications

Found 1 results
Filters: Autor is Bernhard Beckert  [Clear All Filters]
2022
B. Beckert, Bubel, R., Hähnle, R., und Ulbrich, M., „Towards a Usable and Sustainable Deductive Verification Tool“, in Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2022, S. 281-300.