Huibiao Zhu
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
7
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Unifying Theories of Programming
Theoretical Aspects of Computing -- ICTAC 2013
Formal Methods and Software Engineering
Theories of Programming and Formal Methods
Service-Oriented Computing - ICSOC Workshops 2012
