Leveraging Applications of Formal Methods, Verification and Validation

Overview of attention for book

Springer International Publishing

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 1,922 followers.

RT @lysxia: Super fast summary of the state of the art in gradual types and algebraic effects https://t.co/s4pFeZ5NWe

Super fast summary of the state of the art in gradual types and algebraic effects https://t.co/s4pFeZ5NWe

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

Click here to find out how to access more activity.