Principles of Abstract Interpretation
2022; Springer Science+Business Media; Volume: 34; Issue: 2 Linguagem: Inglês
10.1145/3546953
ISSN1433-299X
Autores Tópico(s)Logic, Reasoning, and Knowledge
Referência(s)2022; Springer Science+Business Media; Volume: 34; Issue: 2 Linguagem: Inglês
10.1145/3546953
ISSN1433-299X
Autores Tópico(s)Logic, Reasoning, and Knowledge
Referência(s)