APA-Zitierstil (7. Ausg.)

(2007). Computer aided verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 ; proceedings. Springer. https://doi.org/10.1007/978-3-540-73368-3

Chicago-Zitierstil (17. Ausg.)

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 ; Proceedings. Berlin [u.a.]: Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3.

MLA-Zitierstil (9. Ausg.)

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 ; Proceedings. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3.