Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Citace podle Chicago (17th ed.)Groce, A., a D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Citace podle MLA (9th ed.)Groce, A., a D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..