Fundamental Approaches to Software Engineering

Overview of attention for book

Springer Nature Switzerland

Attention for Chapter: From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert

Altmetric Badge

Mentioned by

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

From mechanized semantics to verified compilation: the Clight semantics of CompCert. ~ Sandrine Blazy. https://t.co/iFrCRU20Pd #ITP #Coq

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

Click here to find out how to access more activity.