Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

MLA

Loek Cleophas, and Mieke Massink. Software Engineering and Formal Methods. Sefm 2020 Collocated Workshops. Springer International Publishing, 2021.

APA

Loek Cleophas, L. Cleophas, & Massink, M. (2021). Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. Springer International Publishing.

Chicago

Loek Cleophas, and Mieke Massink. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. : Springer International Publishing, 2021.