APA-Zitierstil (7. Ausg.)

(2002). Verification, model checking, and abstract interpretation: Third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers. Springer. https://doi.org/10.1007/3-540-47813-2

Chicago-Zitierstil (17. Ausg.)

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; Revised Papers. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2002. https://doi.org/10.1007/3-540-47813-2.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; Revised Papers. Springer, 2002. https://doi.org/10.1007/3-540-47813-2.