Registered user since Sat 15 Aug 2020
Name: Xuansong Li
Affiliation: School of Computer Science and Engineering, Nanjing University of Science and Technology
Contributions
ASE 2020 | Author of Towards Programming and Verification for Activity-Oriented Smart Home Systems within the Late Breaking Results-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile