Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
Digital education Meeting with Marie Duflot and the love she divides between r research, teaching and scientific outreach 17/08/2018
