Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken
Fachliche Zuordnung
Informatik
Förderung
Förderung von 1995 bis 2002
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5191753
Keine Zusammenfassung vorhanden
DFG-Verfahren
Sachbeihilfen
