Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

MLA

Jhala, Ranjit, et al. Proceedings of the 12th International Conference On Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2011.

APA

Jhala, R., Kanade, T., Schmidt, D., & Kittler, J. (2011). Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation. Springer Berlin Heidelberg.

Chicago

Jhala, Ranjit, Takeo Kanade, David Schmidt, and Josef Kittler. Proceedings of the 12th International Conference On Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2011.