Založit si vlastní profil
Veřejný přístup
Zobrazit všechny6 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Radu MardareProfessor, University of StrathclydeE-mailová adresa ověřena na: strath.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityE-mailová adresa ověřena na: cs.mcgill.ca
- Dexter KozenProfessor of Computer Science, Cornell UniversityE-mailová adresa ověřena na: cs.cornell.edu
- Dana ScottVisiting Scholar, UC BerkeleyE-mailová adresa ověřena na: cs.cmu.edu
- Mathys RennelaResearcher at INRIAE-mailová adresa ověřena na: inria.fr
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkE-mailová adresa ověřena na: cs.aau.dk
- Kim G. LarsenDirector, Professor Aalborg UniversityE-mailová adresa ověřena na: cs.aau.dk
- Bas WesterbaanResearch Engineer, CloudflareE-mailová adresa ověřena na: cloudflare.com