Verified Software: Theories, Tools, Experiments

MLA

Meyer, Bertrand, et al. Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2008.

APA

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

Chicago

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