APA (7th ed.) Citation

ebrary, Inc, & Boulanger, J. (2012). Static analysis of software: The abstract interpretation. Wiley.

Chicago Style (17th ed.) Citation

ebrary, Inc, and Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Hoboken, N.J.: Wiley, 2012.

MLA (9th ed.) Citation

ebrary, Inc, and Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Wiley, 2012.