Založiť si vlastný profil
Verejný prístup
všetky položky50 článkov
2 články
dostupné
nedostupné
Na základe mandátov na financovanie
Spoluautori
- John DerrickUniversity of SheffieldOverená e-mailová adresa na: sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgOverená e-mailová adresa na: uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandOverená e-mailová adresa na: uq.edu.au
- Simon DohertyUniversity of SheffieldOverená e-mailová adresa na: sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseOverená e-mailová adresa na: dalvandi.com
- Georg StruthUniversity of SheffieldOverená e-mailová adresa na: sheffield.ac.uk
- Graeme SmithThe University of QueenslandOverená e-mailová adresa na: itee.uq.edu.au
- Ori LahavTel Aviv UniversityOverená e-mailová adresa na: tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornOverená e-mailová adresa na: zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonOverená e-mailová adresa na: imperial.ac.uk
- John WickersonImperial College LondonOverená e-mailová adresa na: imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkOverená e-mailová adresa na: york.ac.uk
- Victor GomesResearch Associate, University of CambridgeOverená e-mailová adresa na: cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Overená e-mailová adresa na: depaul.edu
- James RielyProfessor of Computing, DePaul UniversityOverená e-mailová adresa na: cs.depaul.edu
- Tsz Yiu LamBrunel University LondonOverená e-mailová adresa na: alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKOverená e-mailová adresa na: ncl.ac.uk
- Alan BurnsUniversity of York, UKOverená e-mailová adresa na: york.ac.uk
- Peter Gorm LarsenAarhus UniversityOverená e-mailová adresa na: ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksOverená e-mailová adresa na: sweetgeeks.dk