Registered user since Thu 2 Feb 2023
Name:Li Huang
Country:China
Affiliation:Constructor Institute Schaffhausen
Personal website: https://huangl223.github.io/li/
X (Twitter): https://x.com/huangl223
GitHub: https://github.com/huangl223
Research interests:Formal verification, software engineering, testing
Contributions
Using general profile