Proceedings of the fourth ACM workshop on Formal methods in security. Association for Computing Machinery (ACM).
Чикаго стиль цитування (17-те видання)Proceedings of the Fourth ACM Workshop on Formal Methods in Security. Association for Computing Machinery (ACM).
Стиль цитування MLA (9-ме видання)Proceedings of the Fourth ACM Workshop on Formal Methods in Security. Association for Computing Machinery (ACM).
Попередження: стилі цитування не завжди правильні на всі 100%.