Zhe HouBooks荷兰的中国研究Sports AnalyticsAutomated Technology for Verification and AnalysisFundamentals of Logic and ComputationFormal Methods and Software EngineeringAuthor data: Open Library