MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Sunae Seo" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

and
by Sunae Seo, Taisook Han
…Goal-Directed Weakening of Abstract Interpretation Results SUNAE SEO Korea Advanced Institute…
Add To MetaCart

Automatic construction of hoare proofs from abstract interpretation results
by Sunae Seo, Hongseok Yang, Kwangkeun Yi — 2003 — In The First Asian Symposium on Programming Languages and Systems, LNCS
…Automatic Construction of Hoare Proofs from Abstract Interpretation Results Sunae Seo 1 , Hongseok…
Cited by 6 (0 self) – Add To MetaCart

Goal-directed weakening of abstract interpretation results. Submitted for publication
by Hongseok Yang, Sunae Seo, Kwangkeun Yi, Taisook Han
…Goal-directed Weakening of Abstract Interpretation Results HONGSEOK YANG and SUNAE SEO…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB