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
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityE-mailová adresa ověřena na: cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofE-mailová adresa ověřena na: utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Filippo BonchiCNRS ENS-LyonE-mailová adresa ověřena na: ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.nl
- Catuscia PalamidessiInriaE-mailová adresa ověřena na: lix.polytechnique.fr
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenE-mailová adresa ověřena na: rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Marjan SirjaniMälardalen UniversityE-mailová adresa ověřena na: mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaE-mailová adresa ověřena na: cs.unibo.it
- Jurriaan RotRadboud UniversityE-mailová adresa ověřena na: cs.ru.nl
- Joost WinterUniversity of WarsawE-mailová adresa ověřena na: mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyE-mailová adresa ověřena na: win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaE-mailová adresa ověřena na: uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaE-mailová adresa ověřena na: uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityE-mailová adresa ověřena na: cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityE-mailová adresa ověřena na: math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)E-mailová adresa ověřena na: ist.tugraz.at