[Back]


Talks and Poster Presentations (without Proceedings-Entry):

J. Knoop, L. Kovacs, J. Zwirchmayr:
"Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus";
Keynote Lecture: Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack, Christian-Albrechts-Universität zu Kiel, Deutschland (invited); 2014-05-09.


Created from the Publication Database of the Vienna University of Technology.