Alba Castro, Mauricio Fernando(Universitat Politècnica de València, 2011-10-20)
En esta tesis se presenta una metodología y la implementación correspondiente para la certificación de propiedades de seguridad de programas Java, basada en lógica de reescritura, semántica de lenguajes de programación e ...