APA (7th ed.) Citation

CAV Toronto & Chaudhuri, S. (2016). Computer aided verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings, part II. Springer. https://doi.org/10.1007/978-3-319-41540-6

Chicago Style (17th ed.) Citation

CAV Toronto and Swarat Chaudhuri. Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : Proceedings, Part II. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-41540-6.

MLA (9th ed.) Citation

CAV Toronto and Swarat Chaudhuri. Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : Proceedings, Part II. Springer, 2016. https://doi.org/10.1007/978-3-319-41540-6.