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