Laboratoire Méthodes Formelles (LMF)
… Inria Université Paris-Saclay https://scanr.enseignementsup-recherche.gouv.fr/structure/202123712M Documents Towards a … behavior change Philippe Dague 21/03/2024 Journal of Theoretical Biology Cerise: Program verification on a capability … 69 : Engineering 7 : Physics and Astronomy 7 : Decision Sciences 7 : Arts and Humanities 5 : Biochemistry, Genetics …Article publié le: mer 20/09/2023 - 07:25