Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Citação do estilo Chicago (17ª ed.)Groce, A., e D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Citação MLA (9ª ed.)Groce, A., e 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.