
Registered user since Thu 14 Jan 2021
Name: Wei Song
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