Qin, Shengchao.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by: SpringerLink (Online service); Woodcock, Jim.; Zhang, Wenhui.; Qin, Shengchao. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by: Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Qin, Shengchao.; Qiu, Zongyan.; SpringerLink (Online service) (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by: Zhang, Wenhui.; Qin, Shengchao.; SpringerLink (Online service); Woodcock, Jim. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Subjects