ProB: an automated analysis toolset for the B method

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, January 2008

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 281 Dimensions

Readers on

mendeley: 40 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 1 X post from an account with 4,255 followers.

@owickstrom @fregelang used for this system: https://t.co/oygeT5DUQB

Reply Repost Favourite