Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.