Tamagotchis need not die-Verification of STATEMATE Designs (1998)

by U Brockmeyer, G Wittich
Venue:In TACAS