Search

You searched for: Auteur Zhe Hou Remove constraint Auteur: Zhe Hou
1 - 3 of 3
Number of results to display per page

Search Results

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
Zhe Hou; Ganesh, Vijay
Publisher:
Springer International Publishing 2021
Format:
e-book
2. Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
thumbnail
Full text!
Author:
Hou, Zhe.
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
3. Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
thumbnail
Full text!
Author:
Lin; Hou, Zhe; Mahony, Brendan
Publisher:
Springer International Publishing 2020
Format:
e-book