Languages
Zhu, Huibiao.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
SpringerLink (Online service); Dong, Jin Song.; Zhu, Huibiao.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)