Projects per year
Projects
- 1 Active
Search results
-
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/25
Project: Fundamental