Memorias de investigación
Artículos en revistas:
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Articulo en actas
Internacional
Si
JCR del ISI
No
Título de la revista
Proc. of PADL (LNCS)
ISSN
0302-9743
Factor de impacto JCR
0
Información de impacto
Volumen
4354
DOI
Número de revista
0
Desde la página
124
Hasta la página
139
Mes
ENERO
Ranking
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