Cargando…
Formal methods: practical applications and foundations: Editorial
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer US
2021
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8259768/ https://www.ncbi.nlm.nih.gov/pubmed/34248285 http://dx.doi.org/10.1007/s10703-021-00380-6 |
| _version_ | 1783718707846971392 |
|---|---|
| author | ter Beek, Maurice H. McIver, Annabelle |
| author_facet | ter Beek, Maurice H. McIver, Annabelle |
| author_sort | ter Beek, Maurice H. |
| collection | PubMed |
| description | |
| format | Online Article Text |
| id | pubmed-8259768 |
| institution | National Center for Biotechnology Information |
| language | English |
| publishDate | 2021 |
| publisher | Springer US |
| record_format | MEDLINE/PubMed |
| spelling | pubmed-82597682021-07-07 Formal methods: practical applications and foundations: Editorial ter Beek, Maurice H. McIver, Annabelle Form Methods Syst Des Article Springer US 2021-07-06 2021 /pmc/articles/PMC8259768/ /pubmed/34248285 http://dx.doi.org/10.1007/s10703-021-00380-6 Text en © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic. |
| spellingShingle | Article ter Beek, Maurice H. McIver, Annabelle Formal methods: practical applications and foundations: Editorial |
| title | Formal methods: practical applications and foundations: Editorial |
| title_full | Formal methods: practical applications and foundations: Editorial |
| title_fullStr | Formal methods: practical applications and foundations: Editorial |
| title_full_unstemmed | Formal methods: practical applications and foundations: Editorial |
| title_short | Formal methods: practical applications and foundations: Editorial |
| title_sort | formal methods: practical applications and foundations: editorial |
| topic | Article |
| url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8259768/ https://www.ncbi.nlm.nih.gov/pubmed/34248285 http://dx.doi.org/10.1007/s10703-021-00380-6 |
| work_keys_str_mv | AT terbeekmauriceh formalmethodspracticalapplicationsandfoundationseditorial AT mciverannabelle formalmethodspracticalapplicationsandfoundationseditorial |