Cargando…

Validation of evolving software

Detalles Bibliográficos
Autores principales: Chockler, Hana, Kroening, Daniel, Mariani, Leonardo
Lenguaje:eng
Publicado: Springer 2015
Materias:
Acceso en línea:http://cds.cern.ch/record/2123572
_version_ 1780949521588551680
author Chockler, Hana
Kroening, Daniel
Mariani, Leonardo
author_facet Chockler, Hana
Kroening, Daniel
Mariani, Leonardo
author_sort Chockler, Hana
collection CERN
id cern-2123572
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer
record_format invenio
spelling cern-21235722021-04-21T19:51:33Zhttp://cds.cern.ch/record/2123572engChockler, HanaKroening, DanielMariani, LeonardoValidation of evolving softwareComputing and ComputersSpringeroai:cds.cern.ch:21235722015
spellingShingle Computing and Computers
Chockler, Hana
Kroening, Daniel
Mariani, Leonardo
Validation of evolving software
title Validation of evolving software
title_full Validation of evolving software
title_fullStr Validation of evolving software
title_full_unstemmed Validation of evolving software
title_short Validation of evolving software
title_sort validation of evolving software
topic Computing and Computers
url http://cds.cern.ch/record/2123572
work_keys_str_mv AT chocklerhana validationofevolvingsoftware
AT kroeningdaniel validationofevolvingsoftware
AT marianileonardo validationofevolvingsoftware