APA (7th ed.) Citation

VMCAI Savannah, Ga., Jones, N. D., & Müller-Olm, M. (2009). Verification, model checking and abstract interpretation: Proceedings. Springer.

Chicago Style (17th ed.) Citation

VMCAI Savannah, Ga., Neil D. Jones, and Markus Müller-Olm. Verification, Model Checking and Abstract Interpretation: Proceedings. Berlin ; New York: Springer, 2009.

MLA (9th ed.) Citation

VMCAI Savannah, Ga., et al. Verification, Model Checking and Abstract Interpretation: Proceedings. Springer, 2009.