Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics … of formal methods and director of the “Laboratoire méthodes formelles” (Formal methods laboratory) - LMF (Université … VALS team (Vérification d'algorithmes, de langages et de systèmes - Verification of algorithms, languages and …
Published on: