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
Paulo
De Vilhena
IdRef
Mots clés
FR
|
EN
Gestionnaire d'effets
Vérification formelle
Logique des programmes
Logique de séparation
Systèmes de types
Relations logiques
Objective Caml (langage de programmation)
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Programmation logique
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)