CAV New York, NY, & Dillig, I. (2019). Computer aided verification: 31th international conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings. Springer Open.
Chicago-Zitierstil (17. Ausg.)CAV New York, NY, und Isil Dillig. Computer Aided Verification: 31th International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : Proceedings. Cham: Springer Open, 2019.
MLA-Zitierstil (9. Ausg.)CAV New York, NY, und Isil Dillig. Computer Aided Verification: 31th International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : Proceedings. Springer Open, 2019.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.