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
)
