Loek Cleophas Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Springer Nature 2021 - Lecture Notes in Computer Science . One time purchase [Perpetual access] ISSN: 9783030672201 Subjects--Topical Terms: Computer Science