Opendata, web and dolomites
H2020 projects about "modulo"
The page lists 1 projects related to the topic "modulo".
| # | |||
|---|---|---|---|
| 1 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |
The page lists 1 projects related to the topic "modulo".
| # | |||
|---|---|---|---|
| 1 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |