Liu, Shaoying.

概観

著作:	9 作品に 4 出版物中に 1 言語

タイトル

Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / …で: Clark Conference ((2005 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / …で: Araki, Keijiro.; Clark Conference ((2005 :); Liu, Shaoying.; Maibaum, Tom.; SpringerLink (Online service) (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / …で: Clark Conference ((2005 :); Lawford, Mark.; Liu, Shaoying.; Ogata, Kazuhiro.; SpringerLink (Online service) (コンピュータ・メディア)

Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / …で: Clark Conference ((2005 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (言語・文字資料 (印刷物))

主題