Singh, Neeraj Kumar, <br/><br/>
Using event-b for critical device software systems  

 - England, United Kingdom   Springer London Ltd  2013. 
 - xviii, 326p.  ill. 
<br/><br/> Minimal Level Cataloging Plus. 
<br/><br/><label>ISBN: </label>9781447152590 
<br/><br/><label>LC Class. No.: </label>MED QA76  / S563