Software Engineering and Formal Methods
MLA
de Boer, and Antonio Cerone. Software Engineering and Formal Methods. Springer International Publishing, 2020.
APA
de Boer, d. Boer, & Cerone, A. (2020). Software Engineering and Formal Methods. Springer International Publishing.
Chicago
de Boer, and Antonio Cerone. Software Engineering and Formal Methods. : Springer International Publishing, 2020.