About: Melisa Vela
- Organization : Department of Computer Science, University of Texas at El Paso, El Paso, Texas (U.S.A.)
- Email : smvelaloya@miners.utep.edu
PAPERS
| Issue | Paper | Pages |
|---|---|---|
| Vol 5 No.1 | The CleanJava Language for Functional Program Verification | pp.47-68 |