Automatic verification of abstract state machines (1999)

by M Spielmann
Venue:In CAV