Software Engineering and Formal Methods

MLA

Camara, and Martin Steffen. Software Engineering and Formal Methods. Springer International Publishing, 2020.

APA

Camara, C., & Steffen, M. (2020). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Camara, and Martin Steffen. Software Engineering and Formal Methods. : Springer International Publishing, 2020.