ebrary, Inc, & Boulanger, J. (2012). Static analysis of software: The abstract interpretation. Wiley.
Citação norma Chicagoebrary, Inc, and Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Hoboken, N.J.: Wiley, 2012.
Citação norma MLAebrary, Inc, and Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Wiley, 2012.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.