Memorias de investigación
Conferencias:
Scenarios for Proof Carrying Code
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Charla invitada
Internacional
Si
ISSN o ISBN
Entidad relacionada
Software Technologies Concertation on Formal Methods for Components and Objects
Nacionalidad Entidad
Sin nacionalidad
Lugar del congreso
Amsterdam
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)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software