Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Otto-Friedrich-Universität Bamberg
Fakultät Wirtschaftsinformatik und Angewandte Informatik
Lehrstuhl Softwaretechnik und Programmiersprachen

Address An der Weberei 5
96047 Bamberg
Deutschland

GERiT This institution in GERiT

96047 Bamberg

Projects

Research Grants
- Completed projects
  - DSI2: Learning Data Structure Behaviour from Executions of Pointer Programs
    (Applicant Lüttgen, Gerald )
  - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
    (Applicant Lüttgen, Gerald )

© 2024 DFG Disclaimer / Copyright / Privacy Policy