Publications

Found 1 results
Filters: Author is Matthias Ulbrich  [Clear All Filters]
2022
B. Beckert, Bubel, R., Hähnle, R., and 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, pp. 281-300.