Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops by Loek Cleophas, Mieke Massink.
Published by Springer International Publishing AG, (2021), Paperback, 335 pages.