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 ».
Reviews of Efficient Decision Procedures For Validation by Ofer Strichman
There are no reviews for this book yet.
Idea box
