Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Subtitle: ASYDE, CIFMA, and Cosim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2021
Language: eng
ISBN-13: 9783030672195