APA (7. basım) Alıntı
Akshay, S., Niemetz, A., & Sankaranarayanan, S. (2025). Automated Technology for Verification and Analysis. Springer Nature.
Chicago Style (17. basım) Atıf
Akshay, S., Aina Niemetz, ve Sriram Sankaranarayanan. Automated Technology for Verification and Analysis. Springer Nature, 2025.
MLA (9th ed.) Atıf
Akshay, S., et al. Automated Technology for Verification and Analysis. Springer Nature, 2025.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..