APA Style

Silva, A., LEINO, K, R, M. (2021). Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (1st Edition). Cham: Springer Cham.

MLA Style

Silva, Alexandra., LEINO, K., Rustan, M.. "Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II". 1st Edition Cham: Springer Cham, 2021. Text.