« December 2017 »
December
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
25262728293031
Uni-Logo
You are here: Home Research Data Base Projects
Document Actions

Projects

This page is constructed automatically from the official research data base of the University of Freiburg.  This data base is likely to be out of date. If in doubt, please contact swtsecr@informatik.uni-freiburg.de.

 

Bosch

Project description

Model-Checker

Start/End of project

15.09.2012 until 14.02.2013

Project manager

Prof. Dr. Andreas Podelski

Contact person

Berit Brauer
Phone:2038247

Funding

Bosch GmbH
Personal tools