APA Style
Silva, A., Leino, R. (2021).
Computer Aided Verification; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II .
Heidelberg, Jerman:
Springer International Publishing.
MLA Style
Silva, Alexandra., Leino, Rustan.
"Computer Aided Verification; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II".
Heidelberg, Jerman:
Springer International Publishing,
2021.
Text.