Lewis, M., & Kroening, D. (2014). Precise verification of C programs.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Lewis, M., ба D. Kroening. Precise Verification of C Programs. 2014.
MLA -ийн эшлэл (9 дэх хэвлэлт)Lewis, M., ба D. Kroening. Precise Verification of C Programs. 2014.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.