Observational Completeness on Abstract Interpretation.

Gianluca Amato, Francesca Scozzari

Browse the full WoLLIC paper archive.