Mijn eigen profiel maken
Openbare toegang
Alles bekijken4 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLGeverifieerd e-mailadres voor uva.nl
Jos BaetenGeverifieerd e-mailadres voor cwi.nl
Jörg EndrullisVU University AmsterdamGeverifieerd e-mailadres voor endrullis.de
Vincent van OostromGeverifieerd e-mailadres voor javakade.nl
Zena AriolaUniversity of OregonGeverifieerd e-mailadres voor cs.uoregon.edu
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceGeverifieerd e-mailadres voor vu.nl
Henk BarendregtFaculty of Science, Radboud UniversityGeverifieerd e-mailadres voor ru.nl
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Geverifieerd e-mailadres voor cmp.uea.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgGeverifieerd e-mailadres voor informatik.uni-oldenburg.de
Aart MiddeldorpUniversity of InnsbruckGeverifieerd e-mailadres voor uibk.ac.at
Inge BethkeInformatics Institute, University of AmsterdamGeverifieerd e-mailadres voor uva.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayGeverifieerd e-mailadres voor lix.polytechnique.fr
Femke van RaamsdonkVU University AmsterdamGeverifieerd e-mailadres voor vu.nl
Krzysztof R. AptCWI fellow, CWI , The NetherlandsGeverifieerd e-mailadres voor cwi.nl
John-Jules Meyeremeritus Utrecht UniversityGeverifieerd e-mailadres voor cs.uu.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
Catuscia PalamidessiInriaGeverifieerd e-mailadres voor lix.polytechnique.fr
Detlef PlumpDepartment of Computer Science, University of YorkGeverifieerd e-mailadres voor york.ac.uk
Aleksi SaarelaAcademy Research Fellow, University of TurkuGeverifieerd e-mailadres voor utu.fi
Fer-Jan de VriesFormerly: Department of Computer Science, University of Leicester