Universität Karlsruhe (TH)
Institut für Programmstrukturen und Datenorganisation (IPD)
Lehrstuhl Prof. Snelting