Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack

Event name
Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack
 
Event type
Event for scientific audience
 
Start date
09-05-2014
Location
Christian-Albrechts-Universität zu Kiel, Deutschland
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinausPräsentation Presentation2014