Jprove : una plataforma de verificación para Java
Magíster en Ingeniería de Sistemas y Computación
- Autores:
-
Quiroga Cubides, Alvaro Francisco
- Tipo de recurso:
- Fecha de publicación:
- 2006
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/9197
- Acceso en línea:
- http://hdl.handle.net/1992/9197
- Palabra clave:
- Java (Lenguaje de programación de computadores)
Ingeniería de software
Verificación de programas para computador
Ingeniería
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-nd/4.0/