Observatorio de I+D+i UPM

Memorias de investigación
Tesis:
Implementing a Term Rewriting Engine for the EasyCrypt Framework
Año:2015
Áreas de investigación
  • Ingenierías,
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Implementing a Term Rewriting Engine for the EasyCrypt Framework
Internacional
No
ISBN
Tipo de Tesis
Master
Calificación
Sobresaliente cum laude
Fecha
28/07/2015
Esta actividad pertenece a memorias de investigación
Participantes
  • Director: Manuel Carro Liñares (UPM)
  • Autor: Guillermo RAMOS Gutierrez (IMDEA Software Institute)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)