Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Liu, Zhiming.

Overview
Works: 1 works in 9 publications in 1 languages
Titles
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 / by: SpringerLink (Online service); Zhu, Huibiao.; Liu, Zhiming.; Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by: Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: Bowen, Jonathan P.; Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Zhang, Zili.; SpringerLink (Online service) (Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2022 = 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings / by: Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service); Liu, Zhiming. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: Woodcock, Jim.; Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zhu, Huibiao. (Language materials, printed)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: Woodcock, Jim.; Liu, Zhiming.; Zhu, Huibiao.; SpringerLink (Online service) (Language materials, printed)
Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Zhang, Zili.; Liu, Zhiming.; Bowen, Jonathan P. (Language materials, printed)
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / by: SpringerLink (Online service); Yi, Wang.; Li, Xuandong.; Liu, Zhiming. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / by: Liu, Zhiming.; Bowen, Jonathan P.; Zhang, Zili.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ravn, Anders P.; SpringerLink (Online service) (Language materials, printed)
Show more
 
 
Change password
Login