APA (7th ed.) Citation

VMCAI 2002 Venice, Italy, SpringerLink (Online service), & Cortesi, A. (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 Style (17th ed.) Citation

VMCAI 2002 Venice, Italy, SpringerLink (Online service), and Agostino Cortesi. Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : Revised Papers. Berlin ; New York: Springer, 2002. https://doi.org/10.1007/3-540-47813-2.

MLA (9th ed.) Citation

VMCAI 2002 Venice, Italy, et al. 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.