Registered user since Wed 19 Jun 2019
Name:Taeho Kim
Country:South Korea
Affiliation:Electronics and Telecommunications Research Institute
Research interests:Software Safety, Formal Verification, System Software, Neuromorphic Software
Contributions
Using general profile