Verification Constraint Problems with Strengthening

Lecture Notes in Computer Science - Theoretical Aspects of Computing - ICTAC 2006 ◽

10.1007/11921240_3 ◽

2006 ◽

pp. 35-49 ◽

Cited By ~ 6

Author(s):

Aaron R. Bradley ◽

Zohar Manna