Registered user since Mon 3 Jun 2019
Name:Yunja Choi
Country:South Korea
Affiliation:Kyungpook National University
Personal website: https://sselab.knu.ac.kr/
Research interests:Software Safety, Model Checking, Embedded Software
Contributions
Using general profile