Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
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 A Counterexample-Guided Debugger for Non-Recursive Datalog
Show activities from other conferences

APLAS 2020-profile
View general profile