Ştefania-Gabriela Dumbravă
IdRefMots clés
FR |
EN
Datalog (langage de programmation)
Assistants de preuve
Méthodes formelles
Logique
Langages de données
Formalisations mathématiques
Vérification de programmes
Logique mathématique
Coq
MathComp
Vérification
Analyse statique
Réseau
OpenStack
Optimisation
Énumération
Big data
Graphes orientés
Données massives
Incohérence