APA (7th ed.) Citation

International Workshop on Verification, Model Checking, and Abstract Interpretation, & Cortesi, A. (2002). Verification, model checking and abstract interpretation: Third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers. Springer.

Chicago Style (17th ed.) Citation

International Workshop on Verification, Model Checking, and Abstract Interpretation, and Agostino Cortesi. Verification, Model Checking and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : Revised Papers. Berlin [etc.]: Springer, 2002.

MLA (9th ed.) Citation

International Workshop on Verification, Model Checking, and Abstract Interpretation, and Agostino Cortesi. Verification, Model Checking and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : Revised Papers. Springer, 2002.