Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14--15, 2020, Revised selected papers
scientific article; zbMATH DE number 7373162