03.12.2013
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
03.12.2013
SCARE Monthly Seminar
AGENDA
| Time | Speaker | Title |
16:00 - 17:00 | Björn Engelmann | Towards Practical Verification of Dynamically Typed Programs |