Observational Completeness on Abstract Interpretation
From MaRDI portal
Publication:5894358
DOI10.3233/FI-2011-381zbMath1234.68246MaRDI QIDQ5894358
Francesca Scozzari, Gianluca Amato
Publication date: 22 November 2011
Published in: Fundamenta Informaticae (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
Related Items