Jprove - una plataforma de verificación para Java

RIS

Mendeley

URI: http://hdl.handle.net/1992/9197

URL: http://biblioteca.uniandes.edu.co/acepto621.php?id=00005796

Author: Quiroga Cubides, Alvaro Francisco

Director(s)/Advisor(s): Cardoso Rodríguez, Rodrigo

Publication date: 2006

Content type: masterThesis

Keywords:

Java (Lenguaje de programación de computadores) - Aplicaciones

Ingeniería de software - Aplicaciones

Verificación de programas para computador

Show full item record

Files in this item

Name:: u276481.pdf
Size:: 299.4Kb
Format:: PDF

Statistics

View Usage Statistics