Verified Software: Theories, Tools, Experiments

MLA

Shankar, Natarajan, et al. Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2008.

APA

Shankar, N., Kanade, T., Woodcock, J., & Kittler, J. (2008). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

Chicago

Shankar, Natarajan, Takeo Kanade, Jim Woodcock, and Josef Kittler. Verified Software: Theories, Tools, Experiments. : Springer Berlin Heidelberg, 2008.