Summary
D3.2 (responsible: MPII, delivery date: M24): The prototype integrating Redlog with veriT.
More information & hyperlinks