Statistics
Publications
1
Citations
10
H-Index
1
Active since
2004
Affiliations
Seoul National University(Current)
Hyun-Jun Eo is an author at Seoul National University specializing in type inference, theorem proving, and formal methods.
Publications per year
2004–2004
1
1
1–1 of 1