Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
芝加哥风格引文Groce, A., 与 D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
MLA引文Groce, A., 与 D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
警告：这些引文格式不一定是100％准确.