Languages
Qin, Shengchao.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Unifying theories of programmingThird International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings /
by:
(1998 :); Qin, Shengchao.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.