Project Details

Professor Dr. Gerald Lüttgen

Address Otto-Friedrich-Universität Bamberg
Fakultät Wirtschaftsinformatik und Angewandte Informatik
Lehrstuhl Softwaretechnik und Programmiersprachen
An der Weberei 5
96047 Bamberg

Projects

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

Servicenavigation

Hauptnavigation

Professor Dr. Gerald Lüttgen

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Gerald Lüttgen

Additional Information

Textvergrößerung und Kontrastanpassung