Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Чикаго-гийн эшлэл (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.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.