Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken

• Antragsteller: Professor Dr. Friedrich W. von Henke
• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1995 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5191753

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen