« September 2018 »
September
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
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.

 

Microsoft

Project description

Shapes - Consistency Analysis for Data Structures

Start/End of project

01.11.2006 until 31.10.2009

Project manager

Prof. Dr. Andreas Podelski

Contact person

Berit Brauer
Phone:2038247

Funding

Microsoft
Personal tools