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 I. Springer. https://doi.org/10.1007/978-3-319-41528-4

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 I. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4.

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 I. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4.