Cytowanie według stylu APA (wyd. 7)

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..