Proceedings of the second workshop on Formal methods in software practice. Association for Computing Machinery (ACM).
Цитирование в стиле Чикаго (17-е изд.)Proceedings of the Second Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
Цитирование MLA (9-е изд.)Proceedings of the Second Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.