APA (7th ed.) Citation

(2011). Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings. Springer. https://doi.org/10.1007/978-3-642-22110-1

Chicago Style (17th ed.) Citation

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings. Berlin [u.a.]: Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1.

MLA (9th ed.) Citation

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1.