The Murφ Verification System (1996)

by D Dill
Venue:In Proc. CAV'96, volume 1102 of LNCS