1
Publications
25
Citations
1
H-Index
2022
Active since
Affiliations
Chun Yin Chau is an author at Hong Kong University of Science and Technology specializing in formal verification, engineering, and automated reasoning.
Top concepts
SemanticsEngineeringData ScienceFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgramming Languages
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1