Qin, Shengchao.

Overview

Works:	0 works in 2 publications in 1 languages

Titles

Formal methods and software engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: International Conference on Formal Engineering Methods (2019 :); Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service) (Electronic resources)

Dependable software engineering = theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings / by: SETTA (Symposium) (2021 :); Qin, Shengchao.; SpringerLink (Online service); Woodcock, Jim.; Zhang, Wenhui. (Electronic resources)

Unifying theories of programming = Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings / by: Qin, Shengchao.; SpringerLink (Online service) (Language materials, printed)

Subjects