conf.researchr.org / Jianhui Chen
Registered user since Fri 29 Dec 2017
Name: Jianhui Chen
Contributions
ASE 2020 | Author of Proving Termination by k-Induction within the NIER track-track |
PLDI 2020 | Author of Proving Almost-Sure Termination by Omega-Regular Decomposition within the PLDI Research Papers-track |