• AgoraVox sur Twitter
  • RSS
  • Agoravox TV Mobile

Dominique Larchey-Wendling

Chercheur au CNRS, outils logiques pour la vérification de programmes informatiques.

Tableau de bord

Rédaction Depuis Articles publiés Commentaires postés Commentaires reçus
L'inscription 0 6 0
1 mois 0 0 0
5 jours 0 0 0


Derniers commentaires


Les thèmes de l'auteur






Palmarès