CAV Heidelberg, Majumdar, R., & Kunčak, V. (2017). Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)CAV Heidelberg, Rupak Majumdar, und Viktor Kunčak. Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : Proceedings. Cham: Springer, 2017.
MLA-Zitierstil (9. Ausg.)CAV Heidelberg, et al. Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : Proceedings. Springer, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.