Le moteur de recherche
des thèses françaises
David Mentré
IdRefMots clés
FR |
EN
Différences de programmes
Sémantique opérationnelle
Preuves mécanisées en Coq
Vérification
Logique relationnelle
Logiciels
Langages de programmation -- Sémantique
Code source (informatique)
Coq (logiciel)
Gamma
Thèses
Mémoire partagée
Programmation par aspects
Méthode de conception
Mémoire partagée répartie
Programmation orientée aspects (informatique)
Vérification de modèles
Optimisation
Robustesse
Automates temporisés