Zhiming Liu

Engineering Trustworthy Software Systems

2020

Theoretical Aspects of Computing -- ICTAC 2013

2013

Mathematical Frameworks for Component Software

2006

Formal methods and software engineering

2006

Formal Aspects of Component Software

2014

Dependable Software Engineering : Theories, Tools, and Applications

2015

Zhongguo te se she hui zhu yi she hui jian she

2013

Unifying Theories of Programming and Formal Engineering Methods

2013

Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced Lectures

2013

Theories of Programming and Formal Methods

2013

Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday

2013

Theoretical Aspects of Computing - ICTAC 2022

2022

Theoretical Aspects of Computing - ICTAC 2007

2007

Theoretical Aspects of Computing - ICTAC 2004

2005

Research on the Construction of Practical Teaching System for Digital Media Art and Design Majors

2024

Research on Internationalization Construction of Colleges and Universities in the New Era

2024

Nong ye hong guan jue ce

1990

Mechanical and Electronics Engineering VI

2014