Membre
Fiche Membre
Composante(s) d’expertise Pôle associée(s)
Génie de la programmation, du logiciel et des systèmesModel-checking
Expertises équipes
Assistants à la preuveFormalisation des mathématiquesSémantique des langages de programmationPas de publications référencées sur HAL
Pas de projets référencées pour l’instant
Pas de plateformes référencées pour l’instant
Pas de logiciels de référencés pour l’instant