Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
复制标题
形式方法和软件工程 - 第十二届形式工程方法国际会议，ICFEM 2010，中国上海，2010 年 11 月 17-19 日。会议记录
DOI：
10.1007/978-3-642-16901-4_15
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Lomuscio A
中科院分区：
文献类型：
--
作者：
Lomuscio A
