Gleb Naumovich, George S. Avrunin, Lori A. Clarke
Data Flow Analysis for Checking Properties of Concurrent Java Programs
ICSE, 1999.
@inproceedings{ICSE-1999-NaumovichAC, acmid = "302405.302663", author = "Gleb Naumovich and George S. Avrunin and Lori A. Clarke", booktitle = "{Proceedings of the 21st International Conference on Software Engineering}", editor = "Barry W. Boehm and David Garlan and Jeff Kramer", isbn = "1-58113-074-0", pages = "399--410", publisher = "{ACM}", title = "{Data Flow Analysis for Checking Properties of Concurrent Java Programs}", year = 1999, }