Verified Software: Theories, Tools, Experiments

MLA

Hutchison, David, et al. Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Müller, P., & Podelski, A. (2012). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Peter Müller, and Andreas Podelski. Verified Software: Theories, Tools, Experiments. : Springer Berlin Heidelberg, 2012.