Universidad EAFIT
Chalmers University of Technology
Universiteit Utrecht
Universidad Politécnica de Valencia
Mauricio Fernando Alba Castro
Certificación automática de propiedades de seguridad de código fuente Java en lógica de reescritura
Certificación automática de propiedades de seguridad de código fuente Java en lógica de reescritura
Universidad Católica de Santiago del Estero
Institut National de la Recherche en Informatique et Automatique (INRIA)
Salvador V. Cavadini
Utilización del Slicing de Programas en la Validación y Modificación de Las Propiedades De Un Programa
Utilización del Slicing de Programas en la Validación y Modificación de Las Propiedades De Un Programa
Universidade do Minho
Universidad Politécnica de Valencia
Universidad de la República
Universidad de Castilla-La Mancha (UCLM)
Universiteit Utrecht
Universidad Nacional de San Luis
Universidad de Castilla-La Mancha (UCLM)
Julio Dondo Gazzano
Desarrollo de un ambiente de diseño para sistemas embebidos usando FPGA y hardware reconfigurable generico
Desarrollo de un ambiente de diseño para sistemas embebidos usando FPGA y hardware reconfigurable generico
Chalmers University of Technology
Institut National de la Recherche en Informatique et Automatique (INRIA)
Gustavo Petri
Specification and verification of the Java Memory Model for multi-threaded applications
Specification and verification of the Java Memory Model for multi-threaded applications
