Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies

Overview of attention for article published in Formal Aspects of Computing, June 2023

Altmetric Badge

Mentioned by

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

Mechanised operational reasoning for C11 programs with relaxed dependencies. ~ Daniel Wright et als. https://t.co/j2QFcJ6i0K #ITP #IsabelleHOL

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