Data flow analysis for checking properties of concurrent Java programs
Saved in:
| Published in: | Software Engineering (ICSE '99): 21st International Conference pp. 399 - 410 |
|---|---|
| Main Authors: | , , |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
01.01.1999
|
| ISBN: | 1581130740, 9781581130744 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Bibliography: | ObjectType-Conference Paper-1 SourceType-Conference Papers & Proceedings-1 content type line 25 |
|---|---|
| ISBN: | 1581130740 9781581130744 |
| DOI: | 10.1145/263699.263717 |