
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
Using general profile
Registered user since Thu 27 Jun 2019
Contributions