Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken

• Applicant: Professor Dr. Friedrich W. von Henke
• Subject Area: Computer Science
• Term: from 1995 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5191753

No abstract available

• DFG Programme: Research Grants