Projects per year
Projects
- 1 Active
-
FWOTM1089: Modular static analysis for soft contract verification of distributed actor programs
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/23
Project: Fundamental