![Yunja Choi](https://conf.researchr.org/getProfileImage/yunjachoi/4524ac3c-7bcb-4cae-a541-19ebcca1967e/small.jpg?1712285985000)
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