Bang, Seongwon
10  results:
Search for persons X
?
1

SMT-Based Translation Validation for Machine Learning Compi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bang, Seongwon ; Nam, Seunghyeon ; Chun, Inwhan.. - p. 386-407 , 2022
 
?
9

A novel ginseng saponin metabolite induces apoptosis and do..:

Choi, Hyun Ho ; Jong, Hyun-Soon ; Park, Jung-Hyun...
International Journal of Oncology, Vol.23 No.4, pp.1087-1093.  , 2003
 
?
 
1-10