Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

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: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page