Cargando…

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings

Detalles Bibliográficos
Autor principal: Podelski, Andreas
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756798
_version_ 1780969828033495040
author Podelski, Andreas
author_facet Podelski, Andreas
author_sort Podelski, Andreas
collection CERN
id cern-2756798
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27567982021-04-21T16:41:41Zhttp://cds.cern.ch/record/2756798engPodelski, AndreasStatic analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27567982018
spellingShingle XX
Podelski, Andreas
Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
title Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
title_full Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
title_fullStr Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
title_full_unstemmed Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
title_short Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
title_sort static analysis: 25th international symposium, sas 2018, freiburg, germany, august 29-31, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2756798
work_keys_str_mv AT podelskiandreas staticanalysis25thinternationalsymposiumsas2018freiburggermanyaugust29312018proceedings