Registered user since Fri 29 Dec 2017
Name: Jianhui Chen
Affiliation: Tsinghua University
Contributions
ASE 2020 | Author of Proving Termination by k-Induction within the NIER track-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile