Início
Explorar
nav.journalClub
Tendências
Mais
Synapse
⌘+K
Synapse
Idioma
Português
Português
STEFANIA DUMBRAVA | Synapse
SD
STEFANIA DUMBRAVA
Logic, programming, and type systems
Institut national de recherche en sciences et technologies du numérique
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
1 pubs
Affiliations
Institut national de recherche en sciences et technologies du numérique
École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise
Institut de Recherche en Informatique Fondamentale
See all
Publications