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.