Sunae Seo

	2007
3		Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): (2007)
2		Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han: A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Transactions 90-D(10): 1663-1671 (2007)
	2003
1		Sunae Seo, Hongseok Yang, Kwangkeun Yi: Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245

Coauthor Index

1	Taisook Han	[2] [3]
2	Hyun-Goo Kang	[2]
3	Youil Kim	[2]
4	Hongseok Yang	[1] [3]
5	Kwangkeun Yi	[1] [3]