APA (7. basım) Alıntı
(2021). Computer Aided Verification. Springer Nature.
Chicago Style (17. basım) Atıf
Computer Aided Verification. Springer Nature, 2021.
MLA (9th ed.) Atıf
Computer Aided Verification. Springer Nature, 2021.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..