Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Chicagoスタイル(17版)引用形式Groce, A., , D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
MLA(9版)引用形式Groce, A., , D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
警告: この引用は必ずしも正確ではありません.