Extra Materials Archive

Book cover

Handbook of Model Checking

© 2018

Hard cover - Print (ISBN: 978-3-319-10574-1)

Soft cover - Print (ISBN: 978-3-030-13233-0)

Electronic (ISBN: 978-3-319-10575-8)

View this book on SpringerLink