09.05.2014, Prof. Dr. Jens Knoop: Von Vertrauen zum Beweis - Über Funktionale Programmkorrektheit hinaus