You are here

Home

Assertion based Inductive Verification Methods for Logic Programs

M. Comini, Gori, R., and Levi, G., “Assertion based Inductive Verification Methods for Logic Programs”, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.

created with Drupal | customized by Giovanni Bacci