APA Style
Silva, Alexandra, Leino, K. Rustan M.. (2021).
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (1).
Switzerland:
Springer Cham.
Chicago 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
Switzerland:
Springer Cham,
2021.
Electronic Resource.
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
Switzerland:
Springer Cham,
2021.
Electronic Resource.
Turabian 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
Switzerland:
Springer Cham,
2021.
Electronic Resource.