APA-Zitierstil (7. Ausg.)

(2003). Verification, model checking, and abstract interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003 ; proceedings. Springer. https://doi.org/10.1007/3-540-36384-X

Chicago-Zitierstil (17. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003 ; Proceedings. Berlin u.a: Springer, 2003. https://doi.org/10.1007/3-540-36384-X.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003 ; Proceedings. Springer, 2003. https://doi.org/10.1007/3-540-36384-X.