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 Patricia Bouyer-Decitre: making safety-critical software more reliable … languages and systems) at the “Laboratoire de recherche en informatique” (Computer Science Research Laboratory) - LRI …Published on: