Get my own profile
Co-authors
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Marcel VerhoefEuropean Space AgencyVerified email at xs4all.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Thomas NägeleConsulant / Engineer, AltranVerified email at altran.com
Peter Gorm LarsenAarhus UniversityVerified email at eng.au.dk
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
Mannes PoelAssistant Professor of Computer Science, University of TwenteVerified email at utwente.nl
peter van der stokvanderstok consultancyVerified email at vanderstok.org
Jozef Hooman
Professor of Computer Science, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage