Project-team

DEVINE

DEpendable distributed systems: formal VerificatIoN made Efficient
DEpendable distributed systems: formal VerificatIoN made Efficient