APA (7th ed.) Citation

Verification, Model Checking, and Abstract Interpretation 2011 Austin, Texas, SpringerLink (Online service), Jhala, R., & Schmidt, D. A. 1. M. 1. (2011). Verification, model checking, and abstract interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings. Springer. https://doi.org/10.1007/978-3-642-18275-4

Chicago Style (17th ed.) Citation

Verification, Model Checking, and Abstract Interpretation 2011 Austin, Texas, SpringerLink (Online service), Ranjit Jhala, and David A. 1953 May 10- Schmidt. Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, Proceedings. Berlin: Springer, 2011. https://doi.org/10.1007/978-3-642-18275-4.

MLA (9th ed.) Citation

Verification, Model Checking, and Abstract Interpretation 2011 Austin, Texas, et al. Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-18275-4.