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.

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.

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.