Cargando…
Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2756759 |
| _version_ | 1780969819687878656 |
|---|---|
| author | Butler, Michael Conchon, Sylvain Zaïdi, Fatiha |
| author_facet | Butler, Michael Conchon, Sylvain Zaïdi, Fatiha |
| author_sort | Butler, Michael |
| collection | CERN |
| id | cern-2756759 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2015 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27567592021-04-21T16:41:43Zhttp://cds.cern.ch/record/2756759engButler, MichaelConchon, SylvainZaïdi, FatihaFormal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27567592015 |
| spellingShingle | XX Butler, Michael Conchon, Sylvain Zaïdi, Fatiha Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings |
| title | Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings |
| title_full | Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings |
| title_fullStr | Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings |
| title_full_unstemmed | Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings |
| title_short | Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings |
| title_sort | formal methods and software engineering: 17th international conference on formal engineering methods, icfem 2015, paris, france, november 3-5, 2015, proceedings |
| topic | XX |
| url | http://cds.cern.ch/record/2756759 |
| work_keys_str_mv | AT butlermichael formalmethodsandsoftwareengineering17thinternationalconferenceonformalengineeringmethodsicfem2015parisfrancenovember352015proceedings AT conchonsylvain formalmethodsandsoftwareengineering17thinternationalconferenceonformalengineeringmethodsicfem2015parisfrancenovember352015proceedings AT zaidifatiha formalmethodsandsoftwareengineering17thinternationalconferenceonformalengineeringmethodsicfem2015parisfrancenovember352015proceedings |