Contact

EMail:

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

03.12.2013

SCARE Monthly Seminar

AGENDA

Time  Speaker  Title

 16:00 - 17:00

Björn Engelmann

Towards Practical Verification of Dynamically Typed Programs

(Changed: 2021-04-30)