Runtime verification of .NET contracts
- 作者Mike Barnett; Wolfram Schulte
- 卷第65卷
- 期第3期
- 印刷ISSN0164-1212
- 文件大小221.11KB
- 发表时间2003
- DOI10.1016/s0164-1212(02)00041-9
- 页码199-208
同标题推荐
[Advances in Applied Microbiology] Advances in Applied Microbiology Volume 62 Volume 62 || Contents, · 2007
[Advances in Immunology] Advances in Immunology Volume 62 Volume 62 || Contents of Recent Volumes, · 1996
[Advances in Applied Microbiology] Advances in Applied Microbiology Volume 62 Volume 62 || Contents of Previous Volumes, · 2007
Volume contents Volume 62 (2006)2006
Volume Contents Volume 62 (2007)2007
Volume contents volume 62 (1996)1996
Volume contents & author index for volume 622006
Volume Contents Volume 62 (2001)2001