Registered user since Thu 27 Jun 2019
Name:Chengsong Tan
Country:China
Affiliation:Imperial College London, Kaihong
GitHub: https://github.com/ChengsongTan
Research interests:Formal verification
Contributions
ICSE 2025-profile
View general profile
View general profile