Стиль цитування APA (7-ме видання)
Reynolds, A., & Tasiran, S. (2024). Verified Software. Theories, Tools and Experiments. Springer Nature.
Чикаго стиль цитування (17-те видання)
Reynolds, Andrew, та Serdar Tasiran. Verified Software. Theories, Tools and Experiments. Springer Nature, 2024.
Стиль цитування MLA (9-ме видання)
Reynolds, Andrew, та Serdar Tasiran. Verified Software. Theories, Tools and Experiments. Springer Nature, 2024.
Попередження: стилі цитування не завжди правильні на всі 100%.