Opendata, web and dolomites
H2020 projects about "counterexample"
The page lists 3 projects related to the topic "counterexample".
| # | |||
|---|---|---|---|
| 1 | OXTOP | Low-dimensional topology in Oxford | 2016 |
| 2 | ALGOCERT | Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems | 2019 |
| 3 | DEFGROUP | Definable and pseudofinite groups | 2020 |