Special Section on “Leveraging Formal Methods”
- 作者Tiziana Margaria; Bernhard Steffen
- 卷第8卷
- 期第6期
- 印刷ISSN1433-2779
- 电子ISSN1433-2787
- 文件大小56.48KB
- 发表时间2006-11
- DOI10.1007/s10009-006-0028-4
- 页码467-469
同标题推荐
Introductory paper: scalability aspects of validationTiziana Margaria; Wang Yi · 2003
Introductory paperS. Purushothaman Iyer; David Hislop; Paul L. Jones; Jaime Lee; Frederick Pearce; Stephen Van Albert · 2004
Introductory paperJaco van de Pol · 2004
Introductory paperMatthew Dwyer; Stefan Leue · 2004
Introductory paperLuboš Brim; Orna Grumberg · 2005
Introductory paperThomas Arts; Jaco van de Pol · 2005
Introductory paperTiziana Margaria · 2005
同作者推荐