Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...