Extending extended vacuity (2004)

by M Chechik, A Gurfinkel
Venue:In Proc. 5th Int. Conf. on Formal Methods in Computer-Aided Design, LNCS 3312