APA (7th ed.) Citation

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 Style (17th ed.) Citation

CAV Heidelberg, Rupak Majumdar, and 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 (9th ed.) Citation

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.