Model-Based Software Testing and Analysis with C# || Compositional Modeling
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- 作者Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- 期第14期
- 文件大小378.01KB
- 发表时间2007
- DOI10.1017/cbo9780511619540.015
- 页码223-246