
Registered user since Mon 16 Jan 2023
Name:Gang Fan
Affiliation:Ant Group
Contributions
ICSE 2023 | Verifying Data Constraint Equivalence in FinTech Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Mon 16 Jan 2023
Contributions
ICSE 2023 | Verifying Data Constraint Equivalence in FinTech Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |