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 through mathematics Researcher … Patricia Bouyer-Decitre is a researcher in computer science in the field of formal methods and director of the …Published on: