Frank de Boer, Antonio Cerone. <br/><br/>
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030587680 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering. Artificial intelligence. Computer hardware. Special purpose computers. Software Engineering. Artificial Intelligence. Computer Hardware. Special Purpose and Application-Based Systems.