Formal Analysis by Abstract Interpretation

Autor:	Benjamin Aziz
Rok vydání:	2022
Zdroj:	SpringerBriefs in Applied Sciences and Technology ISBN: 9783030911522
DOI:	10.1007/978-3-030-91153-9
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7b6a7ee5bc4ddd312820a5b3fbb9a7fa https://doi.org/10.1007/978-3-030-91153-9 Zobrazit plný text záznamu