Benjamin Werner Chercheur Inria, responsable de l'équipe TYPICAL, enseignant à l'École Polytechnique. Sécurité & Vie privée Non classé Ses articles ( 2 articles publiés ) ArticleSécurité & Vie privée Langages, programmation & logiciel La vérité et la machine Benjamin Werner 30/09/2009 Niveau intermédiaire Niveau 2 : Intermédiaire La vérité et la machine Benjamin Werner Lire l’article ArticleNon classé Preuves formelles, preuves calculatoires Benjamin Werner 19/03/2007 Niveau intermédiaire Niveau 2 : Intermédiaire Preuves formelles, preuves calculatoires Benjamin Werner Lire l’article Voir tous les auteurs
