Verification Constraint Problems with Strengthening.

Aaron R. Bradley, Zohar Manna

Browse the full ICTAC paper archive.