Memorias de investigación
Artículos en revistas:
Reachability-based acyclicity analysis by Abstract Interpretation
Año:2013

Áreas de investigación

Datos
Descripción
0
Internacional
Si
JCR del ISI
Si
Título de la revista
THEORETICAL COMPUTER SCIENCE
ISSN
0304-3975
Factor de impacto JCR
0,665
Información de impacto
Volumen
474
DOI
10.1016/j.tcs.2012.12.018
Número de revista
Desde la página
60
Hasta la página
79
Mes
Ranking
0

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: COSTA (Verification, Analysis and Transformation)
  • Departamento: Inteligencia Artificial