APA-Zitierstil (7. Ausg.)

CAV Heidelberg, Majumdar, R., & Kunčak, V. (2017). Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings : part I. Springer. https://doi.org/10.1007/978-3-319-63387-9

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 : Part I. [Cham]: Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9.

MLA-Zitierstil (9. Ausg.)

CAV Heidelberg, et al. Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : Proceedings : Part I. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9.