Verifying cross-cutting features as open systems
Li, Harry; Krishnamurthi, Shriram; Fisler, Kathi
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Li, Harry; Krishnamurthi, Shriram; Fisler, Kathi
- 卷第27卷
- 期第6期
- 印刷ISSN0163-5948
- 文件大小1170.32KB
- 发表时间2002-11-01
- DOI10.1145/605466.605481