Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes … behavior change Philippe Dague 21/03/2024 Journal of Theoretical Biology Cerise: Program verification on a capability … 11 plateformes technologiques. L'IPSIT joue un rôle moteur dans le développement des projets scientifiques des unités …Article publié le: mer 20/09/2023 - 07:25