AVeri ed Veri cation Condition Generator (1995)

by P V Homeier, D F Martin
Venue:The Computer Journal