Huibiao Zhu
3 published titles
Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642397172
- Springer
- 2013
- Details
Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures
(Contributor)
1 edition
- ISBN: 9783642397202
- Springer
- 2013
- Details
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
(Contributor)
1 edition
- ISBN: 9783642396984
- Springer
- 2013
- Details
