APA引文

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引文

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