Towards a Usable and Sustainable Deductive Verification Tool

Autor:	Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Rok vydání:	2022
Zdroj:	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ed378e2ced583396358d25a2b6155423 https://doi.org/10.1007/978-3-031-19756-7_16 Zobrazit plný text záznamu