Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification. Association for Computing Machinery (ACM).
Цитирование в стиле Чикаго (17-е изд.)Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Цитирование MLA (9-е изд.)Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.