Cargando…
Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2019
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2755927 |
| _version_ | 1780969743276048384 |
|---|---|
| author | Ait-Ameur, Yamine Qin, Shengchao |
| author_facet | Ait-Ameur, Yamine Qin, Shengchao |
| author_sort | Ait-Ameur, Yamine |
| collection | CERN |
| id | cern-2755927 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2019 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27559272021-04-21T16:41:59Zhttp://cds.cern.ch/record/2755927engAit-Ameur, YamineQin, ShengchaoFormal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27559272019 |
| spellingShingle | XX Ait-Ameur, Yamine Qin, Shengchao Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings |
| title | Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings |
| title_full | Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings |
| title_fullStr | Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings |
| title_full_unstemmed | Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings |
| title_short | Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings |
| title_sort | formal methods and software engineering: 21st international conference on formal engineering methods, icfem 2019, shenzhen, china, november 5-9, 2019, proceedings |
| topic | XX |
| url | http://cds.cern.ch/record/2755927 |
| work_keys_str_mv | AT aitameuryamine formalmethodsandsoftwareengineering21stinternationalconferenceonformalengineeringmethodsicfem2019shenzhenchinanovember592019proceedings AT qinshengchao formalmethodsandsoftwareengineering21stinternationalconferenceonformalengineeringmethodsicfem2019shenzhenchinanovember592019proceedings |