Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Cita Chicago (17th ed.)Groce, A., i D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Cita MLA (9th ed.)Groce, A., i D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Atenció: Aquestes cites poden no estar 100% correctes.