Lijun Zhang

Registered user since Wed 8 Aug 2018

Name:Lijun Zhang
Affiliation:Institute of Software, Chinese Academy of Sciences

Contributions

VMCAI 2018 Learning to Complement B├╝chi Automata
Show activities from other conferences

POPL 2018-profile
View general profile