Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Expert en : Assistants de preuve

MONNIER, Stefan

Professeur agrégé

Recherche sur la théorie et l'implantation des langages de programmation, principalement dans le but d'augmenter la fiabilité et la sécurité des programmes.

Lire plus…

Profil complet