Special issue: International Conference on Formal Engineering Methods-ICFEM 2009

被引：0

作者：

Cavalcanti, Ana

机构：

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2012年 / 77卷 / 12期

关键词：

D O I：

10.1016/j.scico.2012.05.004

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：1211 / 1211

页数：1

相关论文

empty

未找到相关数据