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: |
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: |