Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Xavier LeroyCollège de FranceE-mailová adresa ověřena na: college-de-france.fr
- François PottierInria ParisE-mailová adresa ověřena na: inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFE-mailová adresa ověřena na: lri.fr
- David PichardieProfessor, ENS Rennes, FranceE-mailová adresa ověřena na: inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesE-mailová adresa ověřena na: irisa.fr
- Arthur CharguéraudInriaE-mailová adresa ověřena na: inria.fr
- Guillaume MelquiondInria, University Paris SaclayE-mailová adresa ověřena na: inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayE-mailová adresa ověřena na: inria.fr
- Claude MarchéSenior Research Scientist, InriaE-mailová adresa ověřena na: inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisE-mailová adresa ověřena na: inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Sledovat
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
E-mailová adresa ověřena na: normalesup.org - Domovská stránka