Цитирование APA (7-е изд.)

Lahiri. (2020). Computer Aided Verification (1.). Springer International Publishing.

Цитирование в стиле Чикаго (17-е изд.)

Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.

Цитирование MLA (8-е изд.)

Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.