Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

MLA

Barthe, Gilles, et al. Proceedings of the 11th International Conference On Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2010.

APA

Barthe, G., Hermenegildo, M., Kanade, T., & Kittler, J. (2010). Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

Barthe, Gilles, Manuel Hermenegildo, Takeo Kanade, and Josef Kittler. Proceedings of the 11th International Conference On Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2010.