Formal Analysis by Abstract Interpretation
Autor: | Benjamin Aziz |
---|---|
Rok vydání: | 2022 |
Zdroj: | SpringerBriefs in Applied Sciences and Technology ISBN: 9783030911522 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Benjamin Aziz |
---|---|
Rok vydání: | 2022 |
Zdroj: | SpringerBriefs in Applied Sciences and Technology ISBN: 9783030911522 |
Databáze: | OpenAIRE |
Externí odkaz: |