Benjamin Werner
IdRefMots clés
FR |
EN
Théorie des types
Assistants de preuve
Mathématiques formelles
Théorie de la démonstration
Preuve formelle
Mathématiques et Informatiques
Actuariat
Systèmes d'informations
Modélisation
Cybersécurité
Operations research
Mathématiques
Modèles mathématiques
Sécurité informatique
Systèmes virtuels (informatique)
Outils d'aide à la preuve
Langage de preuves
Style de preuves
Langage de tactiques
Métalangage