ETAPS 2019 (series) / Yue Li
Registered user since Thu 14 Feb 2019
Name:Yue Li
Country:China
Affiliation:Heriot-Watt University, UK
Personal website: http://www.macs.hw.ac.uk/~yl55/
Research interests:Computational logic
Contributions
ETAPS 2019-profile
View general profile
View general profile