Enea, C., & Lal, A. (2023). Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Springer Nature.
Cytowanie według stylu Chicago (wyd. 17)Enea, Constantin, i Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Cham: Springer Nature, 2023.
Cytowanie według stylu MLA (wyd. 9)Enea, Constantin, i Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Springer Nature, 2023.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..