Opendata, web and dolomites
H2020 projects about "interleavings"
The page lists 1 projects related to the topic "interleavings".
| # | |||
|---|---|---|---|
| 1 | VAPLCS | Verification-Aware Programming Language Concurrency Semantics | 2020 |
The page lists 1 projects related to the topic "interleavings".
| # | |||
|---|---|---|---|
| 1 | VAPLCS | Verification-Aware Programming Language Concurrency Semantics | 2020 |