Extra Materials Archive

Book cover

Abstraction Refinement for Large Scale Model Checking

© 2006

Hard cover - Print (ISBN: 978-0-387-34155-2)

Soft cover - Print (ISBN: 978-1-4899-9395-3)

Electronic (ISBN: 978-0-387-34600-7)

View this book on SpringerLink