You are here

Home

Publications

Export 1 results:
Filters: 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.

created with Drupal | customized by Giovanni Bacci