01
Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
The earliest high-confidence catalog date in this author overview is 2003.
Author
Huibiao Zhu
7 cataloged contributions
2003–2017 across 4 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Huibiao Zhu, drawn from catalog context and salon activity when available.
02
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
A clearly attributed work with a supported 2010 catalog date.
03
Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
A clearly attributed work with a supported 2013 catalog date.
04
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
A clearly attributed work with a supported 2017 catalog date.
The catalog
Bibliography
4 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
3 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0