Cousot. Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Cousot. Proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
MLA -ийн эшлэл (9 дэх хэвлэлт)Cousot. Proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.