Myong Kim

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

Coauthor Index

1	Margaret DeLap	[1]
2	Usa Sammapun	[1]
3	Raman Sharykin	[1]
4	Steve Zdancewic	[1]