1
Fundamentals of Logic and Computation [E-Book] : With Practical Automated Reasoning and Verification /
Hou, Zhe
2021
Other Personal Name(s): “...Hou, Zhe...”

Full text 
Favorites
Saved in:
2
Automated Technology for Verification and Analysis [E-Book] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings /
Other Personal Name(s): “...Hou, Zhe...”

Full text 
Favorites
Saved in: