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 | Towards Programming and Verification for Activity-Oriented Smart Home Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile