Zhiming Liu
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
21
Mathematical Frameworks for Component Software
Theoretical Aspects of Computing - ICTAC 2022
Formal methods and software engineering
Domain Modeling and the Duration Calculus
Foundations of Health Informatics Engineering and Systems
Theoretical Aspects of Computing -- ICTAC 2013
Bioreactors
Dependable Software Engineering : Theories, Tools, and Applications
Mai lun
Theories of Programming and Formal Methods
Formal Aspects of Component Software
Mechanical and Electronics Engineering VI
Theoretical Aspects of Computing - ICTAC 2007
Zhongguo te se she hui zhu yi she hui jian she
Automated Technology for Verification and Analysis
