Mijn eigen profiel maken
Openbare toegang
Alles bekijken1 artikel
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Gérard HuetDirecteur de Recherche Emérite InriaGeverifieerd e-mailadres voor inria.fr
- Benjamin WernerProfesseur, Computer Science, Ecole PolytechniqueGeverifieerd e-mailadres voor polytechnique.edu
- Claude MarchéSenior Research Scientist, InriaGeverifieerd e-mailadres voor inria.fr
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- David Gross-AmblardProfessor of Computer Science, IRISA / Rennes 1 University, FranceGeverifieerd e-mailadres voor irisa.fr