Books by Huibiao Zhu
Service-Oriented Computing - ICSOC Workshops 2012
Theoretical Aspects of Computing -- ICTAC 2013
Unifying Theories of Programmi
Unifying Theories of Programming and Formal Engineering Methods
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Unifying Theories of Programming