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.