APA (7th ed.) Citation

CAV Online, Lahiri, S. K., & Wang, C. (2020). Computer aided verification: 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part I. Springer. https://doi.org/10.1007/978-3-030-53288-8

Chicago Style (17th ed.) Citation

CAV Online, Shuvendu K. Lahiri, and Chao Wang. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part I. Cham, Switzerland: Springer, 2020. https://doi.org/10.1007/978-3-030-53288-8.

MLA (9th ed.) Citation

CAV Online, et al. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part I. Springer, 2020. https://doi.org/10.1007/978-3-030-53288-8.