↓ Skip to main content

NASA Formal Methods

Overview of attention for book
NASA Formal Methods
Springer International Publishing
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
16 tweeters
wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
NASA Formal Methods
Published by
Springer International Publishing, January 2021
DOI 10.1007/978-3-030-76384-8
ISBNs
978-3-03-076383-1, 978-3-03-076384-8
Editors

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Twitter Demographics

The data shown below were collected from the profiles of 16 tweeters who shared this research output. Click here to find out more about how the information was compiled.