You are here

Publications

Export 2 results:
Filters: Keyword is Abstract Verification and Author is Giorgio Levi  [Clear All Filters]
2003
M. Comini, Gori, R., Levi, G., and Volpe, P., Abstract Interpretation based Verification of Logic Programs, Science of Computer Programming, vol. 49, pp. 89–123, 2003.
2001
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.