Refutation-based synthesis in SMT
Overview of attention for article published in Formal Methods in System Design, February 2017
Altmetric Badge
About this Attention Score
-
Among the highest-scoring outputs from this source (#18 of 147)
-
Average Attention Score compared to outputs of the same age
Readers on
- mendeley
- 5 Mendeley