You are here

Home

Publications

Export 1 results:
Filters: Author is A. K. Seda  [Clear All Filters]
2001
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