Verification constraint problems with strengthening (2006)

by Aaron R Bradley, Zohar Manna
Venue:In ICTAC