APA citiranje

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 citiranje

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