Huibiao Zhu
Identifiers
- Open LibraryOL7300998A
Books by Huibiao Zhu
Total count: 6
-
Formal Methods and Software Engineering12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, ProceedingsSpringer London, Limited2010-01-01
-
Theories of Programming and Formal MethodsEssays Dedicated to Jifeng He on the Occasion of His 70th BirthdaySpringer2013-01-01
-
Unifying Theories of Programming and Formal Engineering MethodsInternational Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced LecturesSpringer London, Limited2013-01-01
-
Theoretical Aspects of Computing -- ICTAC 201310th International Colloquium, Shanghai, China, September 4-6, 2013, ProceedingsSpringer London, Limited2013-01-01
Service-Oriented Computing - ICSOC Workshops 2012Springer2013-04-09
Unifying Theories of Programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected PapersSpringer2017-01-11