Software Engineering and Formal Methods

MLA

Giannakopoulou, and Gwen Salaün. Software Engineering and Formal Methods. Springer International Publishing, 2014.

APA

Giannakopoulou, G., & Salaün, G. (2014). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Giannakopoulou, and Gwen Salaün. Software Engineering and Formal Methods. : Springer International Publishing, 2014.