APA (7th ed.) Citation

Cook, B., Kroening, D., & Sharygina, N. (2006). Accurate Theorem Proving for Program Verification. Springer.

Chicago Style (17th ed.) Citation

Cook, B., D. Kroening, and N. Sharygina. Accurate Theorem Proving for Program Verification. Springer, 2006.

MLA (9th ed.) Citation

Cook, B., et al. Accurate Theorem Proving for Program Verification. Springer, 2006.