Assurance Provenance: The Next Challenge in Software Documentation

Autor:	Gabor Karsai, Daniel Balasubramanian
Rok vydání:	2022
Zdroj:	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
DOI:	10.1007/978-3-031-19756-7_6
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0f188995cd5aeb7aef378cc3db6e13cb https://doi.org/10.1007/978-3-031-19756-7_6 Zobrazit plný text záznamu