NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings

Detalles Bibliográficos
Autores principales: Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764240
_version_ 1780971087528460288
author Havelund, Klaus
Holzmann, Gerard
Joshi, Rajeev
author_facet Havelund, Klaus
Holzmann, Gerard
Joshi, Rajeev
author_sort Havelund, Klaus
collection CERN
id cern-2764240
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27642402021-04-21T16:38:13Zhttp://cds.cern.ch/record/2764240engHavelund, KlausHolzmann, GerardJoshi, RajeevNASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27642402015
spellingShingle XX
Havelund, Klaus
Holzmann, Gerard
Joshi, Rajeev
NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
title NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
title_full NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
title_fullStr NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
title_full_unstemmed NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
title_short NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
title_sort nasa formal methods: 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings
topic XX
url http://cds.cern.ch/record/2764240
work_keys_str_mv AT havelundklaus nasaformalmethods7thinternationalsymposiumnfm2015pasadenacausaapril27292015proceedings
AT holzmanngerard nasaformalmethods7thinternationalsymposiumnfm2015pasadenacausaapril27292015proceedings
AT joshirajeev nasaformalmethods7thinternationalsymposiumnfm2015pasadenacausaapril27292015proceedings

Ejemplares similares