MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Zhu, Huibiao...”

Cover Image

2

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Other Authors: “...Zhu, Huibiao...”

Cover Image

3

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Zhu, Huibiao...”

Cover Image

4

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Zhu, Huibiao...”

Cover Image

5

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Ad...

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Zhu, Huibiao...”

Cover Image

6

Service-Oriented Computing - ICSOC Workshops 2012 : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 1...

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Zhu, Huibiao...”