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

Oliver Theel (Changed: 20 Jun 2024)  |  Kurz-URL:Shortlink: https://uol.de/p37776en | # |
Zum Seitananfang scrollen Scroll to the top of the page