Foundations for using linear temporal logic in Event-B refinement

Overview of attention for article published in Formal Aspects of Computing, April 2016

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age

Mentioned by

twitter: 1 X user

Readers on

mendeley: 9 Mendeley

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

Our paper "Foundations for using linear temporal logic in Event-B refinement" in Formal Aspects of Computing now available for sharing through Springer Nature SharedIt initiative: See the paper at https://t.co/XswtgXndn7

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