Verifying aspect advice modularly
Krishnamurthi, Shriram; Fisler, Kathi; Greenberg, Michael
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Krishnamurthi, Shriram; Fisler, Kathi; Greenberg, Michael
- 卷第29卷
- 期第6期
- 印刷ISSN0163-5948
- 文件大小232.32KB
- 发表时间2004-11-01
- DOI10.1145/1041685.1029916