Cargando…
Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2764255 |
| _version_ | 1780971091142901760 |
|---|---|
| author | Cavalheiro, Simone Fiadeiro, José |
| author_facet | Cavalheiro, Simone Fiadeiro, José |
| author_sort | Cavalheiro, Simone |
| collection | CERN |
| id | cern-2764255 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2017 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27642552021-04-21T16:38:13Zhttp://cds.cern.ch/record/2764255engCavalheiro, SimoneFiadeiro, JoséFormal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27642552017 |
| spellingShingle | XX Cavalheiro, Simone Fiadeiro, José Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings |
| title | Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings |
| title_full | Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings |
| title_fullStr | Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings |
| title_full_unstemmed | Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings |
| title_short | Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings |
| title_sort | formal methods: 20th brazilian symposium, sbmf 2017, recife, brazil, november 29 - december 1, 2017, proceedings |
| topic | XX |
| url | http://cds.cern.ch/record/2764255 |
| work_keys_str_mv | AT cavalheirosimone formalmethods20thbraziliansymposiumsbmf2017recifebrazilnovember29december12017proceedings AT fiadeirojose formalmethods20thbraziliansymposiumsbmf2017recifebrazilnovember29december12017proceedings |