Travelled to:
1 × USA
Collaborated with:
K.Choe
Talks about:
interpret (1) abstract (1) analysi (1) string (1)
Person: Se-Won Kim
DBLP: Kim:Se=Won
Contributed to:
Wrote 1 papers:
- VMCAI-2011-KimC #abstract interpretation #analysis #string
- String Analysis as an Abstract Interpretation (SWK, KMC), pp. 294–308.