Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Authors :: Mieke Massink
Loek Cleophas
Software Engineering and Technology
Engineering of Software-Intensive Systems
Source :: Lecture Notes in Computer Science ISBN: 9783030672195
Publication Year :: 2021

Subjects :: Engineering
business.industry
business
Software engineering
Formal methods

Tools