Crea il mio profilo
Accesso pubblico
Visualizza tutto50 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- John DerrickUniversity of SheffieldEmail verificata su sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgEmail verificata su uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandEmail verificata su uq.edu.au
- Simon DohertyUniversity of SheffieldEmail verificata su sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseEmail verificata su dalvandi.com
- Georg StruthUniversity of SheffieldEmail verificata su sheffield.ac.uk
- Graeme SmithThe University of QueenslandEmail verificata su itee.uq.edu.au
- Ori LahavTel Aviv UniversityEmail verificata su tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornEmail verificata su zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonEmail verificata su imperial.ac.uk
- John WickersonImperial College LondonEmail verificata su imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkEmail verificata su york.ac.uk
- Victor GomesResearch Associate, University of CambridgeEmail verificata su cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Email verificata su depaul.edu
- James RielyProfessor of Computing, DePaul UniversityEmail verificata su cs.depaul.edu
- Tsz Yiu LamBrunel University LondonEmail verificata su alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKEmail verificata su ncl.ac.uk
- Alan BurnsUniversity of York, UKEmail verificata su york.ac.uk
- Peter Gorm LarsenAarhus UniversityEmail verificata su ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksEmail verificata su sweetgeeks.dk