Project-team DEVINE DEpendable distributed systems: formal VerificatIoN made Efficient DEpendable distributed systems: formal VerificatIoN made Efficient
Centre(s) inria Inria Centre at Rennes University In partnership with CNRS Publications HALActivity reports Contacts Nathalie Bertrand Team leader Laurence Dinh Team assistant Discover similar project-teams about the same theme