Service-Oriented Computing - ICSOC Workshops 2012Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang · First published 2013Open the Tome
Theoretical Aspects of Computing -- ICTAC 2013Zhiming Liu, Jim Woodcock, Huibiao Zhu · First published 2013Open the Tome
Theories of Programming and Formal MethodsZhiming Liu, Jim Woodcock, Huibiao Zhu · First published 2013Open the Tome
Unifying Theories of Programming and Formal Engineering MethodsZhiming Liu, Jim Woodcock, Huibiao Zhu · First published 2013Open the Tome
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 ProceedingsHuibiao Zhu · First published 2010Open the Tome
Formal Methods and Software EngineeringJin-Song Dong, Huibiao Zhu · First published 2003Open the Tome
