4 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
Helmut Seidl, Julian Erhard, Sarah Tilscher +1
The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-n…