Auteur
Benjamin Werner
Je suis un chercheur employé par l'INRIA
Page web : http://www.lix.polytechnique.fr/Labo/Benjamin.Werner/french.html
Tous ses articles (1) :
-
le 15 octobre 2006Longtemps réservée aux informaticiens et logiciens, la vérification formelle de démonstration commence à être utilisée par une fraction grandissante de la communauté mathématique.lire l'article
