Not registered as user yet

Name: Wei Song

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

Contributions

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