Shengchao Qin profile picture

Shengchao Qin

Is this your author profile? Create an account to customize it!

Stand Alone

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Formal Methods and Software Engineering
Third International Symposium on Theoretical Aspects of Software Engineering : Proceedings, Tianjin, China, 29-31 July 2009
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Formal Methods and Software Engineering
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings