APA (7. basım) Alıntı

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

Chicago Style (17. basım) Atıf

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

MLA (8th ed.) Atıf

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

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..