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