科研之友ScholarMate
免费注册
首页 论文 论文详情
赞 收藏 引用

Automated Compositional Verification

作者：Giannakopoulou Dimitra*; Pasareanu Corina S
来源：IET Software, 2010, 4(3): 179-180.
DOI：10.1049/iet-sen.2010.9053
  • 出版日期2010-6

全文

全文

访问全文
收藏 分享 被引 浏览
更新时间：2018-01-19 06:13