Registered user since Thu 22 Mar 2018

Name: Yong Li

Affiliation: Institute of Software, Chinese Academy of Sciences

Contributions

VMCAI 2018Author of Learning to Complement B├╝chi Automata within the VMCAI 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile