Software Engineering and Formal Methods

MLA

Johnsen, Ina Schaefer, and Ina Schaefer. Software Engineering and Formal Methods. Springer International Publishing, 2018.

APA

Johnsen, J., Ina Schaefer, I. Schaefer, & Schaefer, I. (2018). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Johnsen, Ina Schaefer, and Ina Schaefer. Software Engineering and Formal Methods. : Springer International Publishing, 2018.