Cover Image
Saved in:

Using Event-B for critical device software systems

Main Author: Singh, Neeraj Kumar.
Corporate Author: SpringerLink (Online service)
Format: Online Book
Language:English
Published: London ; New York : Springer, c2013.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!