Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Rosalie
Defourné
IdRef
Mots clés
FR
|
EN
Méthodes formelles
Vérification
Logique mathématique
Logique d'ordre supérieure
Preuve automatique
SMT
Méthodes formelles (informatique)
Analyse des systèmes
Théorie des ensembles
Solveurs (logiciels)
Assistants de preuve
Codage
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)