Cita APA (7a ed.)

Enea, C. e., & Lal, A. e. (2023). Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (1st ed. 2023.). Springer Nature Switzerland.

Cita Chicago Style (17a ed.)

Enea, Constantin. editor, y Akash. editor Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 1st ed. 2023. Cham: Springer Nature Switzerland, 2023.

Cita MLA (9a ed.)

Enea, Constantin. editor, y Akash. editor Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 1st ed. 2023. Springer Nature Switzerland, 2023.