Basler, G., Mazzucchi, M., Wahl, T., & Kroening, D. (2010). Context-aware counter abstraction.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Basler, G., M. Mazzucchi, T. Wahl, ба D. Kroening. Context-aware Counter Abstraction. 2010.
MLA -ийн эшлэл (9 дэх хэвлэлт)Basler, G., et al. Context-aware Counter Abstraction. 2010.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.