Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Automated Cost Analysis of Data Structures
01.05.2023 - 30.04.2024
Research funding project
People
Project leader
Florian Zuleger
(E192-04)
Institute
E192-04 - Research Unit of Formal Methods in Systems Engineering
Contract/collaboration
Amazon Research Awards
Research focus
Information and Communication Technology
Publications
Publications