Registered user since Mon 26 Apr 2021

Name:Daniel Jun Xian Ng
Country:Singapore
Affiliation:Nanyang Technological University, Singapore

Contributions

FormaliSE 2021 Author of Monitoring Cumulative Non-functional Properties within the FormaliSE 2021-track