Huibiao Zhu profile picture

Huibiao Zhu

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Service-Oriented Computing - Icsoc Workshops 2012
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Service-Oriented Computing - ICSOC Workshops 2012 ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers