Artigo Acesso aberto Revisado por pares

Principles of Abstract Interpretation

2022; Springer Science+Business Media; Volume: 34; Issue: 2 Linguagem: Inglês

10.1145/3546953

ISSN

1433-299X

Autores

Reinhard Wilhelm,

Tópico(s)

Logic, Reasoning, and Knowledge

Referência(s)
Altmetric
PlumX