Naumovich, G., Avrunin, G. S., & Clarke, L. A. (1999, January). Data flow analysis for checking properties of concurrent Java programs. Software Engineering (ICSE '99): 21st International Conference, 399-410. https://doi.org/10.1145/263699.263717
Chicago Style (17th ed.) CitationNaumovich, Gleb, George S. Avrunin, and Lori A. Clarke. "Data Flow Analysis for Checking Properties of Concurrent Java Programs." Software Engineering (ICSE '99): 21st International Conference Jan. 1999: 399-410. https://doi.org/10.1145/263699.263717.
MLA (9th ed.) CitationNaumovich, Gleb, et al. "Data Flow Analysis for Checking Properties of Concurrent Java Programs." Software Engineering (ICSE '99): 21st International Conference, Jan. 1999, pp. 399-410, https://doi.org/10.1145/263699.263717.