Software Engineering and Formal Methods

MLA

Cimatti, and Marjan Sirjani. Software Engineering and Formal Methods. Springer International Publishing, 2017.

APA

Cimatti, C., & Sirjani, M. (2017). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Cimatti, and Marjan Sirjani. Software Engineering and Formal Methods. : Springer International Publishing, 2017.