Treffer: Data flow analysis for checking properties of concurrent Java programs.
Title:
Data flow analysis for checking properties of concurrent Java programs.
Authors:
Source:
ICSE: International Conference on Software Engineering; May1999, p399-410, 12p
Database:
Complementary Index