How to Transform an Analyzer into a Verifier.

Marco Comini, Roberta Gori, Giorgio Levi

Browse the full LPAR paper archive.