APA (7. basım) Alıntı
Arceri, V., Cortesi, A., Ferrara, P., & Olliaro, M. (2023). Challenges of Software Verification. Springer Nature.
Chicago Style (17. basım) Atıf
Arceri, Vincenzo, Agostino Cortesi, Pietro Ferrara, ve Martina Olliaro. Challenges of Software Verification. Springer Nature, 2023.
MLA (9th ed.) Atıf
Arceri, Vincenzo, et al. Challenges of Software Verification. Springer Nature, 2023.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..