Formal System Verification

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 13 X posts from 9 X users, with an upper bound of 6,441 followers.

RT @Rolf_Drechsler: Book available: Formal System Verification - State-of the-Art and Future Trends https://t.co/ghKgDp10Ia #springer

Book available: Formal System Verification - State-of the-Art and Future Trends https://t.co/ghKgDp10Ia #springer

RT @Rolf_Drechsler: New book now available as hardcover: Formal System Verification - State-of the-Art and Future Trends https://t.co/FZ0fg…

RT @Rolf_Drechsler: New book now available as hardcover: Formal System Verification - State-of the-Art and Future Trends https://t.co/FZ0fg…

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

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