01
Formal Methods and Software Engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
The earliest high-confidence catalog date in this author overview is 2020.
Author
Zhe Hou
4 cataloged contributions
2020–2022 across 3 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 Zhe Hou, drawn from catalog context and salon activity when available.
02
Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
A clearly attributed work with a supported 2021 catalog date.
03
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
A clearly attributed work with a supported 2022 catalog date.
The catalog
Bibliography
3 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
2 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