Easier and more informative vacuity checks (2007)

by CS07 H Chockler, O Strichman
Venue:In MEMOCODE