Home
Members
Books
Authors
Clubs
Recipient name
E-mail recipient
Message
Hi, I wanted to tell you about the book: Abstraction Refinement For Large Scale Model Checking by Gary D. Hachtel, Fabio Somenzi & Chao Wang. http://www.boeklezers.com/boeken/Abstraction+Refinement+For+Large+Scale+Model+Checking/9780387341552 Kind regards,
Log in /
Sign Up
Forgotten?
Birthdays
Tina Heuving
Chantal Timmermans
Tiffany De Backer
Dominique Vink
nefise sari
Idea box
Help improve Boeklezers.nl, leave us your good idea here. (Only the developers can read this)
