[ACM Press the symposium - Victoria, British Columbia, Canada (1991.10.08-1991.10.10)] Proceedings of the symposium on Testing, analysis, and verification - TAV4 - Experiments with an improved constrained expression toolset
Avrunin, George S.; Buy, Ugo A.; Corbett, James C.; Dillon, Laura K.; Wileden, Jack C.
- 作者Avrunin, George S.; Buy, Ugo A.; Corbett, James C.; Dillon, Laura K.; Wileden, Jack C.
- 文件大小970.09KB
- 发表时间1991
- DOI10.1145/120807.120823
- 页码178-187