Qin, Shengchao.

概要

作品:	2 作品在 3 項出版品 1 種語言

書目資訊

Formal methods and software engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: (1998 :); Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service) (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings / by: (1998 :); Qin, Shengchao.; SpringerLink (Online service); Woodcock, Jim.; Zhang, Wenhui. (書目-電子資源)

Formal methods and software engineering13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (1998 :); Qin, Shengchao.; Qiu, Zongyan.; SpringerLink (Online service) (書目-電子資源)

Unifying theories of programmingThird International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings / by: (1998 :); Qin, Shengchao.; SpringerLink (Online service) (書目-電子資源)

主題