H2020 projects about "nondeterministic"
The page lists 2 projects related to the topic "nondeterministic".
| # |
achronym |
title |
year |
| 1 |
LiquidEff |
LiquidEff: Algebraic Foundations for Liquid Effects |
2019 |
| 2 |
WhiteMech |
White-Box Self-Programming Mechanisms |
2019 |
