APA-Zitierstil (7. Ausg.)

(1993). Computer aided verification: Fourth international workshop ; proceedings. Springer. https://doi.org/10.1007/3-540-56496-9

Chicago-Zitierstil (17. Ausg.)

Computer Aided Verification: Fourth International Workshop ; Proceedings. Berlin u.a: Springer, 1993. https://doi.org/10.1007/3-540-56496-9.

MLA-Zitierstil (9. Ausg.)

Computer Aided Verification: Fourth International Workshop ; Proceedings. Springer, 1993. https://doi.org/10.1007/3-540-56496-9.