Dyfyniad APA

Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.

Dyfyniad Arddull Chicago

Groce, A., and D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.

Dyfyniad MLA

Groce, A., and D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.

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