Chris Ho-Stuart and Shaoying Liu: ""A Formal Operational Semantics for SOFL"" Proceedings of 1997 Asia-pacific Software Engineering Conference, IEEE Computer Society Press, Hong Kong, December 2-5. 52-61 (1997)
Chris Ho-Stuart and Shaoying Liu: ""A Formal Operational Semantics for SOFL"" Proceedings of 1997 Asia-pacific Software Engineering Conference, IEEE Computer Society Press, Hong Kong, December 2-5. 52-61 (1997)
复制标题
Chris Ho-Stuart 和 Shaoying Liu：““SOFL 的正式操作语义””1997 年亚太软件工程会议论文集，IEEE 计算机学会出版社，香港，12 月 2-5 日。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
