Myong Kim

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic
Formalizing Java-MaC. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)