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 Style (17th ed.) CitationCAV Heidelberg, Rupak Majumdar, and Viktor Kunčak. Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : Proceedings. Cham: Springer, 2017.
MLA (9th ed.) CitationCAV Heidelberg, et al. Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : Proceedings. Springer, 2017.
Warning: These citations may not always be 100% accurate.