[Zurück zum
Forschungsbericht]

EU/ERC Grant

Projektbeschreibung:
VSSC-Verifying and Synthesizing Software Compositions

Ansprechpartner: Berit Brauer
Tel: 2038247
Email: brauer@informatik.uni-freiburg.de
Projektlaufzeit:
Projektbeginn: 01.04.2016
Projektende: 31.03.2017
Projektleitung:
Prof. Dr. Andreas Podelski

Albert-Ludwigs-Universität Freiburg
Professur für Softwaretechnik
Prof. Dr. Andreas Podelski
Georges-Köhler-Allee 52
79110 Freiburg

Telefon: 8241
Fax: 8242
Email: podelski@informatik.uni-freiburg.de
http://swt.informatik.uni-freiburg.de/

Mitarbeiter:
  • Nutz A
Finanzierung:

  • EU, EU

Aktueller Forschungsbericht