Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Chicago-Zitierstil (17. Ausg.)Groce, A., und D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
MLA-Zitierstil (9. Ausg.)Groce, A., und D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.