Založit si vlastní profil
Veřejný přístup
Zobrazit všechny50 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- John DerrickUniversity of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgE-mailová adresa ověřena na: uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandE-mailová adresa ověřena na: uq.edu.au
- Simon DohertyUniversity of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseE-mailová adresa ověřena na: dalvandi.com
- Georg StruthUniversity of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Graeme SmithThe University of QueenslandE-mailová adresa ověřena na: itee.uq.edu.au
- Ori LahavTel Aviv UniversityE-mailová adresa ověřena na: tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornE-mailová adresa ověřena na: zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- John WickersonImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkE-mailová adresa ověřena na: york.ac.uk
- Victor GomesResearch Associate, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.E-mailová adresa ověřena na: depaul.edu
- James RielyProfessor of Computing, DePaul UniversityE-mailová adresa ověřena na: cs.depaul.edu
- Tsz Yiu LamBrunel University LondonE-mailová adresa ověřena na: alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKE-mailová adresa ověřena na: ncl.ac.uk
- Alan BurnsUniversity of York, UKE-mailová adresa ověřena na: york.ac.uk
- Peter Gorm LarsenAarhus UniversityE-mailová adresa ověřena na: ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksE-mailová adresa ověřena na: sweetgeeks.dk