APA citiranje

Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.

Chicago Style (17th ed.) Citation

Groce, A., and D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.

MLA citiranje

Groce, A., and D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.