Skapa en profil
Offentlig åtkomst
Visa alla50 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- John DerrickUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgVerifierad e-postadress på uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandVerifierad e-postadress på uq.edu.au
- Simon DohertyUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseVerifierad e-postadress på dalvandi.com
- Georg StruthUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
- Graeme SmithThe University of QueenslandVerifierad e-postadress på itee.uq.edu.au
- Ori LahavTel Aviv UniversityVerifierad e-postadress på tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornVerifierad e-postadress på zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonVerifierad e-postadress på imperial.ac.uk
- John WickersonImperial College LondonVerifierad e-postadress på imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkVerifierad e-postadress på york.ac.uk
- Victor GomesResearch Associate, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Verifierad e-postadress på depaul.edu
- James RielyProfessor of Computing, DePaul UniversityVerifierad e-postadress på cs.depaul.edu
- Tsz Yiu LamBrunel University LondonVerifierad e-postadress på alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerifierad e-postadress på ncl.ac.uk
- Alan BurnsUniversity of York, UKVerifierad e-postadress på york.ac.uk
- Peter Gorm LarsenAarhus UniversityVerifierad e-postadress på ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksVerifierad e-postadress på sweetgeeks.dk