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 reportsTeam's website Contacts Nathalie Bertrand Team leader Laurence Dinh Team assistant Discover similar project-teams about the same theme