H
Huibiao Zhu
7 works on record
Works

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