Hongseok Yang
Original record- Institution
- University of Illinois at Urbana-Champaign
- Year
- 2001
- Country
- United States
- MGP identifier
- 69604
Dissertation: Local Reasoning for Stateful Programs
Advisor 1
- Uday Sankara ReddyUniversity of Utah · 1986
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Hoil Lee | Korea Advanced Institute of Science and Technology (KAIST) | 2023 | 0 |