Zhiming Liu

9 published titles

Theoretical aspects of computing - ICTAC 2004 : First International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

(Contributor)

1 edition

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 ; proceedings

(Contributor)

1 edition

Foundations of health informatics engineering and systems : first international symposium, FHIES 2011, Johannesburg, South Africa, August 29-30 2011 : revised selected papers

(Contributor)

1 edition

Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings

(Contributor)

1 edition

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures

(Contributor)

1 edition

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday

(Contributor)

1 edition

Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers

(Contributor)

1 edition

Dependable software engineering : theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings

(Contributor)

1 edition

Engineering trustworthy software systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014

(Contributor)

1 edition