Correction to: NASA Formal Methods

Detalles Bibliográficos
Autores principales: Lee, Ritchie, Jha, Susmit, Mavridou, Anastasia, Giannakopoulou, Dimitra
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7705916/
http://dx.doi.org/10.1007/978-3-030-55754-6_26
_version_ 1783617047245094912
author Lee, Ritchie
Jha, Susmit
Mavridou, Anastasia
Giannakopoulou, Dimitra
author_facet Lee, Ritchie
Jha, Susmit
Mavridou, Anastasia
Giannakopoulou, Dimitra
author_sort Lee, Ritchie
collection PubMed
description
format Online
Article
Text
id pubmed-7705916
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-77059162020-12-01 Correction to: NASA Formal Methods Lee, Ritchie Jha, Susmit Mavridou, Anastasia Giannakopoulou, Dimitra NASA Formal Methods Article 2020-08-10 /pmc/articles/PMC7705916/ http://dx.doi.org/10.1007/978-3-030-55754-6_26 Text en © The Author(s) 2020 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Lee, Ritchie
Jha, Susmit
Mavridou, Anastasia
Giannakopoulou, Dimitra
Correction to: NASA Formal Methods
title Correction to: NASA Formal Methods
title_full Correction to: NASA Formal Methods
title_fullStr Correction to: NASA Formal Methods
title_full_unstemmed Correction to: NASA Formal Methods
title_short Correction to: NASA Formal Methods
title_sort correction to: nasa formal methods
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7705916/
http://dx.doi.org/10.1007/978-3-030-55754-6_26
work_keys_str_mv AT leeritchie correctiontonasaformalmethods
AT jhasusmit correctiontonasaformalmethods
AT mavridouanastasia correctiontonasaformalmethods
AT giannakopouloudimitra correctiontonasaformalmethods

Ejemplares similares