Cita APA

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

Citación estilo Chicago

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

Cita MLA

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