Huibiao Zhu

No biography available.

Works (3)

Cover of Theoretical Aspects of Computing -- ICTAC 2013

Theoretical Aspects of Computing -- ICTAC 2013

Cover of Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Cover of Service-Oriented Computing - ICSOC Workshops 2012

Service-Oriented Computing - ICSOC Workshops 2012