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

MLA

Cousot, Radhia, Takeo Kanade, and Josef Kittler. Proceedings of the 6th International Conference On Verification, Model Checking, and Abstract Interpretation. Springer Berlin / Heidelberg, 2005.

APA

Cousot, R., Kanade, T., & Kittler, J. (2005). Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. Springer Berlin / Heidelberg.

Chicago

Cousot, Radhia, Takeo Kanade, and Josef Kittler. Proceedings of the 6th International Conference On Verification, Model Checking, and Abstract Interpretation. : Springer Berlin / Heidelberg, 2005.