Crea il mio profilo
Accesso pubblico
Visualizza tutto4 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLEmail verificata su uva.nl
- Jos BaetenEmail verificata su cwi.nl
- Jörg EndrullisVU University AmsterdamEmail verificata su endrullis.de
- Vincent van OostromEmail verificata su javakade.nl
- Fer-Jan de VriesDepartment of Computer Science, University of LeicesterEmail verificata su mcs.le.ac.uk
- Zena AriolaUniversity of OregonEmail verificata su cs.uoregon.edu
- Dimitri HendriksVU University Amsterdam, Department of Computer ScienceEmail verificata su vu.nl
- Henk BarendregtFaculty of Science, Radboud UniversityEmail verificata su ru.nl
- Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Email verificata su cmp.uea.ac.uk
- Aart MiddeldorpUniversity of InnsbruckEmail verificata su uibk.ac.at
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgEmail verificata su informatik.uni-oldenburg.de
- Inge BethkeInformatics Institute, University of AmsterdamEmail verificata su uva.nl
- Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayEmail verificata su lix.polytechnique.fr
- Femke van RaamsdonkVU University AmsterdamEmail verificata su vu.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsEmail verificata su cwi.nl
- John-Jules Meyeremeritus Utrecht UniversityEmail verificata su cs.uu.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
- Catuscia PalamidessiInriaEmail verificata su lix.polytechnique.fr
- Detlef PlumpDepartment of Computer Science, University of YorkEmail verificata su york.ac.uk
- Aleksi SaarelaAcademy Research Fellow, University of TurkuEmail verificata su utu.fi