CAV Online & Lahiri, S. K. (2020). Computer aided verification: 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)CAV Online und Shuvendu K. Lahiri. Computer Aided Verification: 32th International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings. Cham: Springer, 2020.
MLA-Zitierstil (9. Ausg.)CAV Online und Shuvendu K. Lahiri. Computer Aided Verification: 32th International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings. Springer, 2020.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.