Skapa en profil
Offentlig åtkomst
Visa alla4 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerifierad e-postadress på uva.nl
- Jos BaetenVerifierad e-postadress på cwi.nl
- Jörg EndrullisVU University AmsterdamVerifierad e-postadress på endrullis.de
- Vincent van OostromVerifierad e-postadress på javakade.nl
- Fer-Jan de VriesDepartment of Computer Science, University of LeicesterVerifierad e-postadress på mcs.le.ac.uk
- Zena AriolaUniversity of OregonVerifierad e-postadress på cs.uoregon.edu
- Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerifierad e-postadress på vu.nl
- Henk BarendregtFaculty of Science, Radboud UniversityVerifierad e-postadress på ru.nl
- Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Verifierad e-postadress på cmp.uea.ac.uk
- Aart MiddeldorpUniversity of InnsbruckVerifierad e-postadress på uibk.ac.at
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerifierad e-postadress på informatik.uni-oldenburg.de
- Inge BethkeInformatics Institute, University of AmsterdamVerifierad e-postadress på uva.nl
- Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerifierad e-postadress på lix.polytechnique.fr
- Femke van RaamsdonkVU University AmsterdamVerifierad e-postadress på vu.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerifierad e-postadress på cwi.nl
- John-Jules Meyeremeritus Utrecht UniversityVerifierad e-postadress på cs.uu.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Catuscia PalamidessiInriaVerifierad e-postadress på lix.polytechnique.fr
- Detlef PlumpDepartment of Computer Science, University of YorkVerifierad e-postadress på york.ac.uk
- Aleksi SaarelaAcademy Research Fellow, University of TurkuVerifierad e-postadress på utu.fi