Le moteur de recherche
des thèses françaises
Jean-François Monin
IdRefMots clés
FR |
EN
Assistants de preuve
Certification
Coq
Programmation fonctionnelle
Théorie des types
Programmation logique
Rewriting
Termination
Lambda-calcul
Logiciels -- Exactitude
Objective Caml (langage de programmation)
Simulateur
Preuve de programme
Système embarqué
Systèmes embarqués (informatique)
Cryptographie
Sécurité
Preuve
Méthodes formelles
Résistance aux intrusions