Cargando…
Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Published by Elsevier B.V.
2021
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7546954/ http://dx.doi.org/10.1016/j.scico.2020.102565 |
| _version_ | 1783592330841817088 |
|---|---|
| author | Duran, Adolfo Wadler, Philip |
| author_facet | Duran, Adolfo Wadler, Philip |
| author_sort | Duran, Adolfo |
| collection | PubMed |
| description | |
| format | Online Article Text |
| id | pubmed-7546954 |
| institution | National Center for Biotechnology Information |
| language | English |
| publishDate | 2021 |
| publisher | Published by Elsevier B.V. |
| record_format | MEDLINE/PubMed |
| spelling | pubmed-75469542020-10-13 Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 Duran, Adolfo Wadler, Philip Sci Comput Program Editorial Published by Elsevier B.V. 2021-01-01 2020-10-10 /pmc/articles/PMC7546954/ http://dx.doi.org/10.1016/j.scico.2020.102565 Text en © 2020 Published by Elsevier B.V. Since January 2020 Elsevier has created a COVID-19 resource centre with free information in English and Mandarin on the novel coronavirus COVID-19. The COVID-19 resource centre is hosted on Elsevier Connect, the company's public news and information website. Elsevier hereby grants permission to make all its COVID-19-related research that is available on the COVID-19 resource centre - including this research content - immediately available in PubMed Central and other publicly funded repositories, such as the WHO COVID database with rights for unrestricted research re-use and analyses in any form or by any means with acknowledgement of the original source. These permissions are granted for free by Elsevier for as long as the COVID-19 resource centre remains active. |
| spellingShingle | Editorial Duran, Adolfo Wadler, Philip Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 |
| title | Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 |
| title_full | Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 |
| title_fullStr | Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 |
| title_full_unstemmed | Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 |
| title_short | Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 |
| title_sort | preface – 22nd brazilian symposium on formal methods – sbmf 2019 |
| topic | Editorial |
| url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7546954/ http://dx.doi.org/10.1016/j.scico.2020.102565 |
| work_keys_str_mv | AT duranadolfo preface22ndbraziliansymposiumonformalmethodssbmf2019 AT wadlerphilip preface22ndbraziliansymposiumonformalmethodssbmf2019 |