Skip to content
Vinony

Zhiming Liu

No biography available.

Works (5)

Cover of Formal methods and software engineering
Formal methods and software engineering
Cover of Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
Cover of Foundations of Health Informatics Engineering and Systems
Foundations of Health Informatics Engineering and Systems
Cover of Formal Aspects of Component Software
Formal Aspects of Component Software
Cover of Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013