Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings /

Selección de ponencias presentadas en el vigésimo primer Simposio Internacional sobre Análisis Estático, celebrado en Munich, Alemania, en septiembre de 2014. Los artículos desarrollan temas relacionados con el análisis estático, entre los que se incluyen, la interpretación abstracta, las pruebas ab...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor corporativo: International Symposium on Static Analysis( Munich, Alemania)
Otros autores: Müller-Olm, Markus (edición), Seidl, Helmut (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:Inglés
Publicado: Cham, Suiza : Springer, 2014, c2014
Colección:(Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science) 8723.
Temas:
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!