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
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus | Präsentation Presentation | 2014 |