Rigorous Methods for Software Construction and Analysis

MLA

Abrial, Jean-Raymond, Uwe Glässer, and Takeo Kanade. Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2009.

APA

Abrial, J., Glässer, U., & Kanade, T. (2009). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.

Chicago

Abrial, Jean-Raymond, Uwe Glässer, and Takeo Kanade. Rigorous Methods for Software Construction and Analysis. : Springer Berlin Heidelberg, 2009.