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