Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Springer International Publishing

Attention for Chapter: Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)

Altmetric Badge

Mentioned by

So far, Dimensions has found 2 publications that cite this research output.

Article in International Journal on Software Tools for Technology Transfer (February 2023)

Conference proceeding (January 2023)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.