Easier and more informative vacuity checks (2007)

by H Chockler, O Strichman
Venue:In Proc. 5th MEMOCODE