Automatic deductive verification with invisible invariants (2001)

by A Pnueli, S Ruath, L D Zuck
Venue:In Proc. of TACAS 2001, 2031 of LNCS