H2020 projects about "erlang"
The page lists 2 projects related to the topic "erlang".
| # |
achronym |
title |
year |
| 1 |
RCADE |
Reversible causally-consistent debugging of concurrent programs |
2018 |
| 2 |
VeSPA |
Verification and Specification through Progress Abstractions |
2018 |
