TY  - BOOK
AU  - Singh,Neeraj Kumar
TI  - Using event-b for critical device software systems 
SN  - 9781447152590
AV  - MED QA76 S563
PY  - 2013///
CY  - England, United Kingdom
PB  -  Springer London Ltd
N1  - Minimal Level Cataloging Plus
ER  -