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

So far, Altmetric has seen 8 X posts from 6 X users, with an upper bound of 3,408 followers.

RT @IvanPerezKeera: The proceedings of NASA Formal Methods are available for free only for a few weeks at https://t.co/1lHpVOLauM. NFM wil…

RT @laura_titolo: NFM2021 proceedings are now available here 👇👇👇 https://t.co/c3eERLr1DX #NFM2021 #FormalMethods

#NFM2021 starts in ~15 minutes! 🎉 Plus grab the proceedings while they're hot*! *available #FormalMethods

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 4 additional X posts.