Book
Efficient Decision Procedures For Validation
Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783838300825
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books related to Efficient Decision Procedures For Validation by Ofer Strichman
No related books yet.
