Arthur Charguéraud
IdRefMots clés
FR |
EN
Preuves formelles
Complexité asymptotique
Logiques de programme
Logique de séparation
Méthodes formelles (informatique)
Algorithmes
Assistants de preuve
Logique informatique
Système Coq
Logique mathématique
Langages de programmation
Audit informatique
Logiciels -- Vérification
Sémantique Squelettique
Langage de Spécification
ECMAScript
Monades
Systèmes Distribués
Internet des Objets
Langages de programmation -- Sémantique