Static Analysis

MLA

Cousot, Radhia, et al. Static Analysis. Springer Berlin Heidelberg, 2010.

APA

Cousot, R., Kanade, T., Martel, M., & Kittler, J. (2010). Static Analysis. Springer Berlin Heidelberg.

Chicago

Cousot, Radhia, Takeo Kanade, Matthieu Martel, and Josef Kittler. Static Analysis. : Springer Berlin Heidelberg, 2010.