(2021). Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. [electronic resource].
Style de citation Chicago (17e éd.)Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / Edited by Alexandra Silva, K. Rustan M. Leino. [electronic Resource]. 2021.
Style de citation MLA (9e éd.)Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / Edited by Alexandra Silva, K. Rustan M. Leino. [electronic Resource]. 2021.
Attention : ces citations peuvent ne pas être correctes à 100%.