Not registered as user yet
Name:Fuxiong Pan
Affiliation:Ant Group
Contributions
ICSE 2023 | Verifying Data Constraint Equivalence in FinTech Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Not registered as user yet
Contributions
ICSE 2023 | Verifying Data Constraint Equivalence in FinTech Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |