Data flow analysis for checking properties of concurrent Java programs
Uloženo v:
| Vydáno v: | Software Engineering (ICSE '99): 21st International Conference s. 399 - 410 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
01.01.1999
|
| ISBN: | 1581130740, 9781581130744 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Bibliografie: | ObjectType-Conference Paper-1 SourceType-Conference Papers & Proceedings-1 content type line 25 |
|---|---|
| ISBN: | 1581130740 9781581130744 |
| DOI: | 10.1145/263699.263717 |