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]
@inproceedings{CominiGL01-0,
title = {How to transform an analyzer into a verifier},
author = {Marco Comini and Roberta Gori and Giorgio Levi},
year = {2001},
url = {http://www.di.uevora.pt/~pq/agp01/finals/16.pdf},
researchr = {https://researchr.org/publication/CominiGL01-0},
cites = {0},
citedby = {0},
pages = {131-148},
booktitle = {APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001},
editor = {Luís Moniz Pereira and Paulo Quaresma},
publisher = {Departamento de Informática, Universidade de Évora},
}