Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… diffuser ses méthodes d’analyse à d’autres domaines. Le 1 er janvier 2020 est né le Laboratoire méthodes formelles … Verification (CAV) awards obtenus lors de conférences internationales du CAV. En 2017, Alain Finkel et Philippe … par l’intermédiaire du laboratoire commun (Labcom) ProofInUse , porté par l’EPC Inria Toccata du LMF et l’éditeur …Article publié le: ven 26/02/2021 - 10:44