語系
跳至 : 概要 | 書目資訊 | 主題

Liu, Shaoying.

概要
作品: 1 作品在 7 項出版品 1 種語言
書目資訊
Structured object-oriented formal language and method = 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service); Liu, Ai.; SOFL+MSVL (Workshop) (2022 :) (書目-電子資源)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: International Conference on Formal Engineering Methods (2016 :); Ogata, Kazuhiro.; Lawford, Mark.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入