Software Engineering and Formal Methods

MLA

Hierons, Robert; Merayo, Mercedes G.; Bravetti, Mario, Mario Bravetti, and Mercedes G Merayo. Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2013.

APA

Hierons, M., Bravetti, M., & Merayo, M. G. (2013). Software Engineering and Formal Methods. Springer Berlin Heidelberg.

Chicago

Hierons, Robert; Merayo, Mercedes G.; Bravetti, Mario, Mario Bravetti, and Mercedes G Merayo. Software Engineering and Formal Methods. : Springer Berlin Heidelberg, 2013.