Huibiao Zhu

• 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
• Unifying Theories of Programming
• Formal Methods and Software Engineering
• Theories of Programming and Formal Methods
• Unifying Theories of Programming and Formal Engineering Methods