Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումGroce, A., and D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
MLA (9րդ խմբ.) ՄեջբերումGroce, A., and D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.