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 Luís Moniz Pereira, Paulo Quaresma, editors, APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001. pages 131-148, Departamento de Informática, Universidade de Évora, 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