Zhe Hou profile picture

Zhe Hou

Is this your author profile? Create an account to customize it!

Stand Alone

Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification
Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification
Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification
Fundamentals of Logic and Computation
Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Automated Technology for Verification and Analysis
Sports Analytics First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings
Formal Methods and Software Engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Sports Analytics