Model Checking Abstract State Machines and Beyond (2000)

by M Spielmann
Venue:In International Workshop on Abstract State Machines ASM 2000, LNCS