Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
Цитирование в стиле Чикаго (17-е изд.)Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
Цитирование MLA (9-е изд.)Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.