M. Comini,
“VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”,
Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.
M. Comini, Gori, R., and Levi, G.,
“How to Transform an Analyzer into a Verifier”,
Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“An Abstract Generic Framework for Web Site Verification”,
2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S.,
“Abstract Diagnosis of Functional Programs”,
Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.