Software Engineering and Formal Methods

MLA

Rocco De Nicola, Eva Kühn, Rocco De Nicola, and Eva Kühn. Software Engineering and Formal Methods. Springer International Publishing, 2016.

APA

Rocco De Nicola, E. Kühn, De Nicola, R., & Kühn, E. (2016). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Rocco De Nicola, Eva Kühn, Rocco De Nicola, and Eva Kühn. Software Engineering and Formal Methods. : Springer International Publishing, 2016.