Opendata, web and dolomites
H2020 projects about "undecidable"
The page lists 1 projects related to the topic "undecidable".
| # | |||
|---|---|---|---|
| 1 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |
The page lists 1 projects related to the topic "undecidable".
| # | |||
|---|---|---|---|
| 1 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |