APA Style

Lahiri, S., Chao, W. (2020). Computer Aided Verification; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I . Heidelberg, Jerman: Springer International Publishing.

MLA Style

Lahiri, Shuvendu., Chao, Wang. "Computer Aided Verification; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I". Heidelberg, Jerman: Springer International Publishing, 2020. Text.