APA-Zitierstil (7. Ausg.)

(2004). Verification, model checking, and abstract interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings. Springer. https://doi.org/10.1007/b94790

Chicago-Zitierstil (17. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings. Berlin [u.a.]: Springer, 2004. https://doi.org/10.1007/b94790.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings. Springer, 2004. https://doi.org/10.1007/b94790.