Xuansong Li -

Registered user since Sat 15 Aug 2020

Name:Xuansong Li

Affiliation:School of Computer Science and Engineering, Nanjing University of Science and Technology

Contributions

2020

ASE

Author of Towards Programming and Verification for Activity-Oriented Smart Home Systems within the Late Breaking Results-track