French Méthode formelle (informatique) Cited by user Lupin~fr on 14 Apr 2024 En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du…
French Marie-Claude Gaudel Cited by user Lupin~fr on 14 Apr 2024 Marie-Claude Gaudel, née en à Nancy, est mathématicienne, informaticienne et professeure émérite d’informatique à l’Université Paris-Sud.