Shaoying Liu: "Developing Quality Software Systems Using the SOFL Formal Engineering Method (invited paper)"Proceedings of 4th International Conference on Formal Engineering Methods (ICFEM2002), LNCS Springer-Verlag, Shanghai, China, October 21-25. (to ap
Shaoying Liu: "Developing Quality Software Systems Using the SOFL Formal Engineering Method (invited paper)"Proceedings of 4th International Conference on Formal Engineering Methods (ICFEM2002), LNCS Springer-Verlag, Shanghai, China, October 21-25. (to ap
复制标题
Shaoying Liu：“使用 SOFL 形式工程方法开发质量软件系统（特邀论文）”第四届形式工程方法国际会议 (ICFEM2002) 论文集，LNCS Springer-Verlag，中国上海，10 月 21-25 日。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
