Založit si vlastní profil
Veřejný přístup
Zobrazit všechny4 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLE-mailová adresa ověřena na: uva.nl
- Jos BaetenE-mailová adresa ověřena na: cwi.nl
- Jörg EndrullisVU University AmsterdamE-mailová adresa ověřena na: endrullis.de
- Vincent van OostromE-mailová adresa ověřena na: javakade.nl
- Fer-Jan de VriesDepartment of Computer Science, University of LeicesterE-mailová adresa ověřena na: mcs.le.ac.uk
- Zena AriolaUniversity of OregonE-mailová adresa ověřena na: cs.uoregon.edu
- Dimitri HendriksVU University Amsterdam, Department of Computer ScienceE-mailová adresa ověřena na: vu.nl
- Henk BarendregtFaculty of Science, Radboud UniversityE-mailová adresa ověřena na: ru.nl
- Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.E-mailová adresa ověřena na: cmp.uea.ac.uk
- Aart MiddeldorpUniversity of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgE-mailová adresa ověřena na: informatik.uni-oldenburg.de
- Inge BethkeInformatics Institute, University of AmsterdamE-mailová adresa ověřena na: uva.nl
- Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayE-mailová adresa ověřena na: lix.polytechnique.fr
- Femke van RaamsdonkVU University AmsterdamE-mailová adresa ověřena na: vu.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsE-mailová adresa ověřena na: cwi.nl
- John-Jules Meyeremeritus Utrecht UniversityE-mailová adresa ověřena na: cs.uu.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Catuscia PalamidessiInriaE-mailová adresa ověřena na: lix.polytechnique.fr
- Detlef PlumpDepartment of Computer Science, University of YorkE-mailová adresa ověřena na: york.ac.uk
- Aleksi SaarelaAcademy Research Fellow, University of TurkuE-mailová adresa ověřena na: utu.fi