Software Engineering and Formal Methods

MLA

Barthe, Gilles, et al. Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2011.

APA

Barthe, G., Kanade, T., Pardo, A., & Schneider, G. (2011). Software Engineering and Formal Methods. Springer Berlin Heidelberg.

Chicago

Barthe, Gilles, Takeo Kanade, Alberto Pardo, and Gerardo Schneider. Software Engineering and Formal Methods. : Springer Berlin Heidelberg, 2011.