"Liu si" kang bao zhe fa ting dang anZhongguo zheng zhi ji zong jiao shou nan zhe hou yuan hui (Aodaliya) · First published 2019Open the Tome
Automated Technology for Verification and AnalysisZhe Hou, Vijay Ganesh · First published 2021Open the Tome
Formal Methods and Software EngineeringShang-Wei Lin, Zhe Hou, Brendan Mahoney · First published 2020Open the Tome
Houge SAT vocabulary Blue Book ( Platinum upgrade version 3.0 ) [Genuine new]HOU GE ( ZUO ZHE ) · First published 2013Open the Tome