Publications

Export 5 results:

Filters: Author is Manuel V. Hermenegildo [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

T

F. Giannotti and Hermenegildo, M. V., “A Technique for Recursive Invariance Detection and Selective Program Specification”, in PLILP, 1991, pp. 323-334.

Copyright © 2014 - KDD Lab