Skip to main navigation
Skip to search
Skip to main content
Technical University of Munich Home
Help & FAQ
English
Deutsch
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Impacts
Search by expertise, name or affiliation
Informatics 7 - Associate Professorship of Formal Methods for Software Reliability
Computation, Information and Technology
Department of Computer Science
Overview
Network
Profiles
(1)
Research output
(102)
Profiles
1 results
Last Name
(ascending)
Last Name
(descending)
Search results
Jan Kretinsky
Informatics 7 - Associate Professorship of Formal Methods for Software Reliability
Person
2008
2025
