Computer Aided Verification

Overview of attention for book

Springer International Publishing

Attention for Chapter: ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures

Altmetric Badge

Mentioned by

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

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

Click here to find out how to access more activity.