Results
Using Event-B for Critical Device Software Systems
© 2013
Hard cover - Print (ISBN: 978-1-4471-5259-0)
Electronic (ISBN: 978-1-4471-5260-6)
Soft cover - Print (ISBN: 978-1-4471-5790-8)
View this book on
SpringerLink
Download Product Archive File - 978-1-4471-5260-6