Verifying Data Constraint Equivalence in FinTech Systems.

Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang

Browse the full ICSE paper archive.