Extra Materials Archive

Book cover

Provably Correct Systems

© 2017

Hard cover - Print (ISBN: 978-3-319-48627-7)

Soft cover - Print (ISBN: 978-3-319-83980-6)

Electronic (ISBN: 978-3-319-48628-4)

View this book on SpringerLink