↓ Skip to main content

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Tools and Algorithms for the Construction and Analysis of Systems
Springer International Publishing
Attention for Chapter: Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 Mendeley