1. Dezember 2016 – Clusterseminar „Validierung von Software“