APA-Zitierstil (7. Ausg.)

(2003). Computer aided verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 ; Proceedings. Berlin u.a: Springer, 2003.

MLA-Zitierstil (9. Ausg.)

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 ; Proceedings. Springer, 2003.