Software Engineering and Formal Methods

MLA

Cerone, Marco Roveri, and Marco Roveri. Software Engineering and Formal Methods. Springer International Publishing, 2018.

APA

Cerone, C., Marco Roveri, M. Roveri, & Roveri, M. (2018). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Cerone, Marco Roveri, and Marco Roveri. Software Engineering and Formal Methods. : Springer International Publishing, 2018.