ebrary, Inc, & Boulanger, J. (2012). Static analysis of software: The abstract interpretation. Wiley.
芝加哥风格引文ebrary, Inc, 与 Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Hoboken, N.J.: Wiley, 2012.
MLA引文ebrary, Inc, 与 Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Wiley, 2012.
警告：这些引文格式不一定是100％准确.