Observational Completeness on Abstract Interpretation
From MaRDI portal
Publication:5902155
DOI10.1007/978-3-642-02261-6_9zbMath1246.68149OpenAlexW2109217938MaRDI QIDQ5902155
Gianluca Amato, Francesca Scozzari
Publication date: 2 July 2009
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_9
Cites Work
This page was built for publication: Observational Completeness on Abstract Interpretation