Formal Analysis by Abstract Interpretation

Autor: Benjamin Aziz
Rok vydání: 2022
Zdroj: SpringerBriefs in Applied Sciences and Technology ISBN: 9783030911522
Databáze: OpenAIRE