Cita APA (7a ed.)

Lahiri, S. K., Lahiri, S. K. e., & Wang, C. e. (2020). Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (1st ed. 2020.). Springer International Publishing.

Cita Chicago Style (17a ed.)

Lahiri, Shuvendu K., Shuvendu K. editor Lahiri, y Chao. editor Wang. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. 1st ed. 2020. Cham: Springer International Publishing, 2020.

Cita MLA (9a ed.)

Lahiri, Shuvendu K., et al. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. 1st ed. 2020. Springer International Publishing, 2020.