Shang-Wei Lin (editor)  Zhe Hou (editor)  Brendan Mahoney (editor) <br/><br/>
Formal methods for software engineering   : 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings 

 - Switzerland  Springer Nature  2021 
 - xii, 334 p.  : ill.   ; 24 cm. 
<br/><br/> Includes bibliographical references and author index.  
<br/><br/><label>ISBN: </label>9783030634056 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software Engineering --Software engineering congresses--Formal specification--Software verification--Formal methods--FC--GGC
<br/><br/><label>Dewey Class. No.: </label>005.13  / FOR