Automatic generation of invariants and intermediate assertions (1997)

by N Bjrner, A Browne, Z Manna
Venue:in Theoretical Computer Science