Gerard O' Regan <br/><br/>
Concise guide to formal methods  theory, fundamentals and industry applications 

 - Switzerland  Springer nature  2017 
 - xxvi. 322 p.  : ill. col.  ; 23 cm. 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>9783319640204 (pbk) 9783319640211 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Copmputer science--Software engineering--computer security--Modelling language--FC
<br/><br/><label>Dewey Class. No.: </label>005.131  / ORE