Startseite Dr. Anne-Kathrin Schmuck Dr. Anne-Kathrin Schmuck Max-Planck-Institut für Softwaresysteme, Standort Kaiserslautern akschmuck@mpi-sws.org