| Projektnummer: 70p5 Bezeichnung: | Projektnummer/n der Vorprojekte: --- |
| Projekttitel: | A Case Study for Termination and Bound Analysis of Pointer Programs |
|
| Art des Projektes: | Wissenschaftskooperation |
| Beurteilung : | abgelehnt |
| Bemerkung: | |
_____________________________________________________________________________________________________________________
 | Österreich | Tschechien |
| | |
| Antragsteller: | Zuleger Florian, Ph.D. | Rogalewicz Adam, Ph.D. |
| Bildungsinstitution: | Technische Universität Wien | Vysoké učení technické v Brně |
| Fakultät: | Fakultät für Informatik | Fakulta informačních technologií |
| Institut/Lehrstuhl: | Institut für Informationssysteme | Ústav inteligentních systémů |
| E-Mail: | zuleger@forsyte.at | rogalew@fit.vutbr.cz |
| Tel.: | +43-1-58801-18449 | +420 54114 1188 |
| | |
_____________________________________________________________________________________________________________________
| Dauer des Projektes von bis: |
07/01/2014 - 06/30/2015 | Verlängerung bis: |
|
_____________________________________________________________________________________________________________________
_____________________________________________________________________________________________________________________
| Mitarbeiter | Studierende |
| Zahl der Teilnehmer aus Österreich: | | |
| Zahl der Teilnehmer aus Tschechien: | | |
| Gesamtbeendigung des Projektes: | |
|