APA-Zitierstil (7. Ausg.)

(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-Zitierstil (17. Ausg.)

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-Zitierstil (9. Ausg.)

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.