APA (7th ed.) Citation

(2015). Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Springer International Publishing. https://doi.org/10.1007/978-3-319-21690-4

Chicago Style (17th ed.) Citation

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-21690-4.

MLA (9th ed.) Citation

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-21690-4.