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