Silva. (2021). Computer Aided Verification (1.). Springer International Publishing.
Чикаго стиль цитування (17-те видання)Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.
Стиль цитування MLA (8-ме видання)Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.
Попередження: стилі цитування не завжди правильні на всі 100%.