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
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)