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

Silva. (2021). Computer Aided Verification (1.). Springer International Publishing.

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

Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.

MLA (8th ed.) Atıf

Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.

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