|
1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
|
2.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
|
3.
|
Implementacion de un interprete SQL en managed code para dispositivos moviles Salomón, Sebastián Mariano - Lucero, Luis Rogero - Giménez, Daniel Alejandro - Mamani, Gabriel - Martínez Spessot, Cesar Ignacio - Maldonado, Calixto
|
|
4.
|
Substitución de componentes software basado en testing Flores, Andrés P. - Polo, Macario
|
