Analysis of Boolean Programs

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36742-7_16 ◽

2013 ◽

pp. 214-229 ◽

Cited By ~ 4

Author(s):

Patrice Godefroid ◽

Mihalis Yannakakis

Download Full-text