APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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