Model-Based Software Testing and Analysis with C# || Model Programs
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- 作者Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- 期第5期
- 文件大小573.90KB
- 发表时间2007
- DOI10.1017/cbo9780511619540.006
- 页码57-93