ISBN 9783662504963 books & textbook
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer
Springer /2017-01-27 Hardcover / 377 Pages
isbn-10: 3662504960 / isbn-13: 9783662504963
