Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security. Association for Computing Machinery (ACM).
Цитирование в стиле Чикаго (17-е изд.)Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security. Association for Computing Machinery (ACM).
Цитирование MLA (9-е изд.)Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security. Association for Computing Machinery (ACM).
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.