APA (7th ed.) Citation

CAV (Conference), SpringerLink (Online service), Cook, B., Jackson, P., & Touili, T. (2010). Computer aided verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Springer-Verlag. https://doi.org/10.1007/978-3-642-14295-6

Chicago Style (17th ed.) Citation

CAV (Conference), SpringerLink (Online service), Byron Cook, Paul Jackson, and Tayssir Touili. Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Berlin ; Heidelberg: Springer-Verlag, 2010. https://doi.org/10.1007/978-3-642-14295-6.

MLA (9th ed.) Citation

CAV (Conference), et al. Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Springer-Verlag, 2010. https://doi.org/10.1007/978-3-642-14295-6.