Zhiming Liu profile picture

Zhiming Liu

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

Stand Alone

Formal methods and software engineering
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday
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
Foundations of Health Informatics Engineering and Systems
Mathematical Frameworks for Component Software Models for Analysis and Synthesis. Series on Component-Based Software Development, Volume 2
Environmental Catalysis and Air Pollution Control
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Formal Methods and Software Engineering
Research on the Construction of Practical Teaching System for Digital Media Art and Design Majors
Mechanical and Electronics Engineering VI
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Zi Ran Jian Kang Yang Sheng Bao Dian
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

See All