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

Silva, A., & Leino, K. R. M. (2021). Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Springer Nature.

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

Silva, Alexandra, ve K. Rustan M. Leino. Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Springer Nature, 2021.

MLA (9th ed.) Atıf

Silva, Alexandra, ve K. Rustan M. Leino. Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Springer Nature, 2021.