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 I (1).
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 I".
1
Cham:
Springer Cham,
2021.
Text.