ISBN 9783662570654 books & textbook
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer
Springer /2018-07-13 Paperback / 377 Pages
isbn-10: 3662570653 / isbn-13: 9783662570654
