Computer Aided Verification

MLA

Ball, Thomas, et al. Computer Aided Verification. Springer Berlin / Heidelberg, 2006.

APA

Ball, T., Jones, R. B, Jones, R. Brent, Kanade, T., & Kittler, J. (2006). Computer Aided Verification. Springer Berlin / Heidelberg.

Chicago

Ball, Thomas, Robert B Jones, Robert Brent Jones, Takeo Kanade, and Josef Kittler. Computer Aided Verification. : Springer Berlin / Heidelberg, 2006.