APA Style

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 (1). Cham: Springer Cham.

MLA Style

LAHIRI, Shuvendu, K.., WANG, Chao. "Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I". 1 Cham: Springer Cham, 2020. Text.