Browse "School of Computing(전산학부)" by Author Reddy, US
Showing results 1 to 3 of 3
| Correctness of Data Representations involving Heap Data Structures Reddy, US; Yang, Hongseok, SCIENCE OF COMPUTER PROGRAMMING, v.50, no.1-3, pp.129 - 160, 2004-03 |
| Correctness of data representations involving heap data structures Reddy, US; Yang, Hongseok, PROGRAMMING LANGUAGES AND SYSTEMS, v.2618, pp.223 - 237, 2003 |
| On the semantics of refinement calculi Yang, Hongseok; Reddy, US, FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, v.1784, pp.359 - 374, 2000 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989