Extra Materials Archive

Book cover

Using Event-B for Critical Device Software Systems

© 2013

Hard cover - Print (ISBN: 978-1-4471-5259-0)

Soft cover - Print (ISBN: 978-1-4471-5790-8)

Electronic (ISBN: 978-1-4471-5260-6)

View this book on SpringerLink