Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers Cleophas, Loek Heftet / 2021 / Engelsk
