Verified Software: Theories, Tools, Experiments

MLA

Leavens, Gary T, et al. Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2010.

APA

Leavens, G. T, Kanade, T., O'Hearn, P., & Rajamani, S. K. (2010). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

Chicago

Leavens, Gary T., Takeo Kanade, Peter O'Hearn, and Sriram K Rajamani. Verified Software: Theories, Tools, Experiments. : Springer Berlin Heidelberg, 2010.