Browse "School of Computing(전산학부)" by Author Han, H
Showing results 1 to 1 of 1
| A path sensitive type system for resource usage verification of C like languages Kang, HG; Kim, Y; Han, Taisook; Han, H, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Book Series: LECTURE NOTES IN COMPUTER SCIENCE, v.3780, pp.264 - 280, 2005-11 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,775 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989