Computers - Computer Science

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, … (Lecture Notes in Computer Science, 12524) Loek Cleophas (Editor)