Results for author 'Zhiming Liu'

Theoretical Aspects of Computing - ICTAC 2025

22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings

Mathematical Frameworks For Component Software

Models For Analysis And Synthesis

Engineering Trustworthy Software Systems

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Theoretical Aspects of Computing - Ictac 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Domain Modeling and the Duration Calculus

International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 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 26-30, 2013, Advanced Lectures

Engineering Trustworthy Software Systems

6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7¢"12, 2018, Tutorial Lectures

Environmental Catalysis and Air Pollution Control