Mijn eigen profiel maken
Openbare toegang
Alles bekijken50 artikelen
2 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- John DerrickUniversity of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgGeverifieerd e-mailadres voor uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandGeverifieerd e-mailadres voor uq.edu.au
- Simon DohertyUniversity of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseGeverifieerd e-mailadres voor dalvandi.com
- Georg StruthUniversity of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
- Graeme SmithThe University of QueenslandGeverifieerd e-mailadres voor itee.uq.edu.au
- Ori LahavTel Aviv UniversityGeverifieerd e-mailadres voor tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornGeverifieerd e-mailadres voor zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
- John WickersonImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkGeverifieerd e-mailadres voor york.ac.uk
- Victor GomesResearch Associate, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Geverifieerd e-mailadres voor depaul.edu
- James RielyProfessor of Computing, DePaul UniversityGeverifieerd e-mailadres voor cs.depaul.edu
- Tsz Yiu LamBrunel University LondonGeverifieerd e-mailadres voor alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKGeverifieerd e-mailadres voor ncl.ac.uk
- Alan BurnsUniversity of York, UKGeverifieerd e-mailadres voor york.ac.uk
- Peter Gorm LarsenAarhus UniversityGeverifieerd e-mailadres voor ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksGeverifieerd e-mailadres voor sweetgeeks.dk