SoSyM Special Section on Software Engineering and Formal Methods

被引：0

作者：

Jorge Cuellar

Zhiming Liu

机构：

来源：

Software & Systems Modeling | 2007年 / 6卷

关键词：

Formal Method; Formal Meth; Software Industry; Softw Syst Model; Coordination Language;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：37 / 38

页数：1