Markus Roggenbach (editor)  Antonio Cerone (editor)  Bernd Holger Schlingloff (editor)  Gerardo Schneider (editor)  Siraj Ahmed Shaikh (editor) <br/><br/>
Formal methods for software engineering  Language, methods, application domains 

 - Switzerland  Springer nature  2022 
 - xxii, 524 p.  : ill.  ; 23 cm. 
<br/><br/> Includes indexes. 
<br/><br/><label>ISBN: </label>978303088027 (pbk) 9783030388003 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering--Formal language--Application domains--Formal methods--Fc--Security protocols
<br/><br/><label>Dewey Class. No.: </label>005.1  / FOR