Shaoying Liu: "Developing Quality Software Systems using the SOFL Formal Engineering Method"Proceeding of 4th International Conference on Formal Engineeering Methods, LNCS 2495. LNCS2495. 3-19 (2002)
Shaoying Liu: "Developing Quality Software Systems using the SOFL Formal Engineering Method"Proceeding of 4th International Conference on Formal Engineeering Methods, LNCS 2495. LNCS2495. 3-19 (2002)
复制标题
Shaoying Liu：“使用 SOFL 形式工程方法开发质量软件系统”第四届形式工程方法国际会议论文集，LNCS 2495。LNCS2495。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
