Extending extended vacuity (2004)

by A Gurfinkel, M Chechik
Venue:In Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD’04), LNCS 3312