Runtime safety analysis of multithreaded programs
Sen, Koushik; Rosu, Grigore; Agha, Gul
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Sen, Koushik; Rosu, Grigore; Agha, Gul
- 卷第28卷
- 期第5期
- 印刷ISSN0163-5948
- 文件大小569.75KB
- 发表时间2003-09-01
- DOI10.1145/949952.940116