Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method

Overview of attention for article published in Formal Aspects of Computing, December 2007

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 31 Dimensions

Readers on

mendeley: 14 Mendeley
citeulike: 2 CiteULike

Summary X Dimensions citations

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

http://t.co/JTs2l7P0 これ？

Reply Repost Favourite