Markus Roggenbach, Antonio cerone <br/><br/>
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) 

 -  Springer Nature  2023 
<br/><br/><label>ISBN: </label>9783030388027