Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Attention for Chapter: cvc5: A Versatile and Industrial-Strength SMT Solver

Altmetric Badge

Mentioned by

So far, Altmetric has seen 21 X posts from 17 X users, with an upper bound of 26,898 followers.

RT @hanielmbarbosa: And we got the best tool paper award for it! :D https://t.co/uGKkCZx5WJ

RT @hanielmbarbosa: And we got the best tool paper award for it! :D https://t.co/uGKkCZx5WJ

RT @hanielmbarbosa: And we got the best tool paper award for it! :D https://t.co/uGKkCZx5WJ

RT @hanielmbarbosa: And we got the best tool paper award for it! :D https://t.co/uGKkCZx5WJ

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

Click here to find out how to access more activity, including 17 additional X posts.