How to Transform an Analyzer into a Verifier - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Comini, Roberta Gori, Giorgio Levi. How to Transform an Analyzer into a Verifier. In Robert Nieuwenhuis, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Volume 2250 of Lecture Notes in Computer Science, pages 595-609, Springer, 2001. [doi]

This author has not been identified. Look up 'Marco Comini' in GoogleThis author has not been identified. Look up 'Roberta Gori' in GoogleThis author has not been identified. Look up 'Giorgio Levi' in Google

runs on WebDSL