Opendata, web and dolomites
H2020 projects about "undecidability"
The page lists 1 projects related to the topic "undecidability".
| # | |||
|---|---|---|---|
| 1 | SVIS | Supervised Verification of Infinite-State Systems | 2018 |
The page lists 1 projects related to the topic "undecidability".
| # | |||
|---|---|---|---|
| 1 | SVIS | Supervised Verification of Infinite-State Systems | 2018 |