Kroening, Daniel Strichman, Ofer Bryant, Randal E.
Decision procedures an algorithmic point of view - Berlin Springer 2008 - 304 - Texts in theoretical computer science an EATCS series .
9783540741046
510.5 KRO
Decision procedures an algorithmic point of view - Berlin Springer 2008 - 304 - Texts in theoretical computer science an EATCS series .
9783540741046
510.5 KRO