Huibiao Zhu

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, Proceedings

  Springer London, Limited2010-01-01
• Theories of Programming and Formal MethodsEssays Dedicated to Jifeng He on the Occasion of His 70th Birthday

  Springer2013-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 Lectures

  Springer London, Limited2013-01-01
• Theoretical Aspects of Computing -- ICTAC 201310th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

  Springer London, Limited2013-01-01
• 
  Service-Oriented Computing - ICSOC Workshops 2012

  Springer2013-04-09
• 
  Unifying Theories of Programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

  Springer2017-01-11