Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache

• Antragsteller: Professor Tobias Nipkow, Ph.D.
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2003 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5406711

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen