Frank de Boer (editor)  Antonio Cerone  (editor) <br/><br/>
Software engineering and formal methods  : 18th International conference, SEFM 2020, Amsterdam, the Netherlands, september 14-18, 2020, proceedings 

 - Switzerland  Springer Nature   2020 
 - xiv, 324 p.  : ill.  ; 24 cm 
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9783030587673 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Artificial intelligence<br/>Computer science--Computer applications --Computer programming --Formal verification--Testing--GGC--FC
<br/><br/><label>Dewey Class. No.: </label>005.14  / SOF