APA (7th ed.) Citation

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 (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.