Le moteur de recherche
des thèses françaises
Véronique Donzeau-Gouge Viguié
IdRefMots clés
FR
Méthodes formelles (informatique)
Théorie de la démonstration
Langages de programmation -- Sémantique
B (méthode formelle)
Langages formels
Transports aériens
Bases de données -- Conception
Logique multivalente
Fonctions d'ensemble
Logique mathématique
Systèmes d'information
Langage programmation
Programmation logique
Preuve programme
Calcul construction
Preuve formelle
Co-induction
Sémantique
Logiciels -- Vérification
Automates