You are here

Home

Publications

Export 1 results:
Filters: Keyword is Abstract Verification and Author is Moreno Falaschi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
M. Comini, “VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”, Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.

created with Drupal | customized by Giovanni Bacci