Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.