Frama-C: A software analysis perspective

Overview of attention for article published in Formal Aspects of Computing, January 2015

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 (#3 of 132)
High Attention Score compared to outputs of the same age (80th percentile)
High Attention Score compared to outputs of the same age and source (80th percentile)

Mentioned by

twitter: 1 X user

patent: 3 patents

Citations

dimensions_citation: 239 Dimensions

Readers on

mendeley: 61 Mendeley

Summary X Patents Dimensions citations

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

RT @SpringerCompSci: "Frama-C: A #softwareanalysis perspective" in Formal Aspects of Computing - celebrating 30 years. Read highlight artic…

06 Sep 2018

Reply Repost Favourite

"Frama-C: A #softwareanalysis perspective" in Formal Aspects of Computing - celebrating 30 years. Read highlight articles free through Sep '18 https://t.co/Rgn3qFDJHf @BCS

05 Sep 2018

Reply Repost Favourite

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

Click here to find out how to access more activity.