MLA

Blazy, and Thomas Jensen. Static Analysis. Springer Berlin Heidelberg, 2015.

APA

Blazy, B., & Jensen, T. (2015). Static Analysis. Springer Berlin Heidelberg.

Chicago

Blazy, and Thomas Jensen. Static Analysis. : Springer Berlin Heidelberg, 2015.