Programming Languages and Systems

Overview of attention for book

Springer International Publishing

Attention for Chapter: Verified Software Units

Altmetric Badge

Mentioned by

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

Verified software units. ~ Lennart Beringer. https://t.co/g1r7nie4sO #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.