APLAS 2020 (series) / Zhenjiang Hu
Registered user since Wed 10 Dec 2014
Name: Zhenjiang Hu
Affiliation: Peking University
Personal website: http://sei.pku.edu.cn/~hu/
Contributions
APLAS 2020 | Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile