Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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