APA-Zitierstil (7. Ausg.)

(2001). Computer aided verification: 13th international conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; proceedings. Springer. https://doi.org/10.1007/3-540-44585-4

Chicago-Zitierstil (17. Ausg.)

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2001. https://doi.org/10.1007/3-540-44585-4.

MLA-Zitierstil (9. Ausg.)

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; Proceedings. Springer, 2001. https://doi.org/10.1007/3-540-44585-4.