ISBN 9783838300825 books & textbook
Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
LAP LAMBERT Academic Publishing /2010-05-15 Paperback / 116 Pages
isbn-10: 3838300823 / isbn-13: 9783838300825