Software engineering and formal methods 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, proceedings - de Boer, Frank S.; Cerone, Antonio (Lecture notes in computer science, 2020)