Get my own profile
Public access
View all16 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Simon FosterLecturer in Computer Science, University of YorkVerified email at york.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
- James LawThe University of SheffieldVerified email at sheffield.ac.uk
- Tim KellyProfessor of High Integrity SystemsVerified email at york.ac.uk
- Stefan WagnerProfessor of Software Engineering, Technical University of MunichVerified email at tum.de
- Alois KnollTechnische Universität MünchenVerified email at in.tum.de
- Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org
- Manfred BroyProfessor of Computer Science, Technical University of Munich
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH
Follow
Mario Gleirscher
Postdoctoral Researcher, University of Bremen
Verified email at uni-bremen.de - Homepage