Automatic Verification of Abstract State Machines (1999)

by M Spielmann
Venue:Computer Aided Verification, LNCS 1633