In Execution
Desarrollo de un ambiente de dise�o para sistemas embebidos usando FPGA y hardware reconfigurable generico
Julio Dondo Gazzano
Julio Dondo Gazzano
Utilizaci�n del Slicing de Programas en la Validaci�n y Modificaci�n de Las Propiedades De Un Programa
Salvador V. Cavadini
Salvador V. Cavadini
Specification and verification of the Java Memory Model for multi-threaded applications
Gustavo Petri
Gustavo Petri
Certificaci�n autom�tica de propiedades de seguridad de c�digo fuente Java en l�gica de reescritura
Mauricio Fernando Alba Castro
Mauricio Fernando Alba Castro