A Technique for Recursive Invariance Detection and Selective Program Specification
| Title | A Technique for Recursive Invariance Detection and Selective Program Specification |
| Publication Type | Conference Paper |
| Year of Publication | 1991 |
| Authors | Giannotti, F, Hermenegildo, MV |
| Conference Name | PLILP |