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 (8-е изд.)Cousot. Proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.