1. Dezember 2016 – Clusterseminar “Validierung von Software”