Shaoying Liu: "Formal Engineering Methods for Information Systems Development"Proceeding of Second International Conf. on INFORMATION. July. 148-154 (2002)
Shaoying Liu: "Formal Engineering Methods for Information Systems Development"Proceeding of Second International Conf. on INFORMATION. July. 148-154 (2002)
复制标题
刘少英:“信息系统开发的形式化工程方法”第二届国际会议论文集。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: