About: Yoonsik Cheon
- Organization : Department of Computer Science, University of Texas at El Paso, El Paso, Texas (U.S.A.)
- Email : ycheon@utep.edu
PAPERS
| Issue | Paper | Pages |
|---|---|---|
| Vol 2 No.3 | Checking Design Constraints at Run-time Using OCL and AspectJ | pp. 5-28 |
| Vol 5 No.1 | The CleanJava Language for Functional Program Verification | pp.47-68 |