You are here

Publications

Export 1 results:
Filters: Keyword is Abstract Interpretation and Author is Volpe, P.  [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.