Repair of Boolean Programs with an Application to C

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11817963_33 ◽

2006 ◽

pp. 358-371 ◽

Cited By ~ 33

Author(s):

Andreas Griesmayer ◽

Roderick Bloem ◽

Byron Cook

Download Full-text