Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science) 2022 · ENGLISH · PDF View details →
