Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.