Véronique Benzaken
IdRefMots clés
FR |
EN
XML (langage de balisage)
Compilation (informatique)
Assistants de preuve
Méthodes formelles
Bases de données -- Interrogation
Langages de programmation
Bases de données orientées objet
Théorèmes -- Démonstration automatique
Compilation
Sémantique
Synchrone
Preuve de programmes
Traduction par validation
Langage flots de données
Langage impératif
Certification
Langages de programmation -- Sémantique
Langages formels
Logique informatique
Coq (logiciel)