Legislation-driven development of a Gift Aid system using Event-B

Overview of attention for article published in Formal Aspects of Computing, May 2020

Altmetric Badge

About this Attention Score

In the top 25% of all research outputs scored by Altmetric
One of the highest-scoring outputs from this source (#1 of 132)
High Attention Score compared to outputs of the same age (91st percentile)

Mentioned by

news: 3 news outlets

twitter: 5 X users

Readers on

mendeley: 36 Mendeley

So far, Altmetric has seen 6 X posts from 5 X users, with an upper bound of 33,328 followers.

RT @ComputingSurrey: Steve Schneider has had his paper published, read more at https://t.co/SaVbmf61cL https://t.co/TsHZh6HYA8

Steve Schneider has had his paper published, read more at https://t.co/SaVbmf61cL

RT @StreevaCo: Extremely proud moment for team @StreevaCo! An academic paper now released co-authored by our CEO @draymic presents our appr…

Extremely proud moment for team @StreevaCo! An academic paper now released co-authored by our CEO @draymic presents our approach & methods to formally model the #Legislation-driven development of a #giftaid system @SCCS_UniSurrey @UniOfSurrey @ports…

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity, including 2 additional X posts.