Liu, Zhiming.

Overview

Works:	1 works in 8 publications in 1 languages

Titles

Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service); SETSS (International school) (2018 :); Bowen, Jonathan P. (Electronic resources)

Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by: Araki, Keijiro.; Liu, Zhiming.; SpringerLink (Online service); ICTAC 2004 ((2004 :) (Language materials, printed)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service); SETSS (Summer school) (2016 :); Bowen, Jonathan P. (Electronic resources)

Theoretical aspects of computing - ICTAC 2022 = 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings / by: Seidl, Helmut.; Liu, Zhiming.; Pasareanu, Corina S.; SpringerLink (Online service); ICTAC (Colloquium) (2022 :) (Electronic resources)

Engineering trustworthy software systems = 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service); SETSS (International school) (2019 :); Bowen, Jonathan P. (Electronic resources)

Formal aspects of component software = 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: Fiadeiro, Jose Luiz.; Liu, Zhiming.; Xue, Jinyun.; SpringerLink (Online service) (Electronic resources)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service) (Electronic resources)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: Li, Xuandong.; Liu, Zhiming.; Yi, Wang.; SpringerLink (Online service) (Electronic resources)

Foundations of health informatics engineering and systems = first International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011 : revised selected papers / by: Liu, Zhiming.; Wassyng, Alan.; SpringerLink (Online service) (Electronic resources)

Subjects