KIT-Fakultät für Informatik
Prof. Dr. Bernhard Beckert

Prof. Dr. rer. nat. Bernhard Beckert