Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken

• Applicant: Professor Dr. Hans Langmaack
• Subject Area: Computer Science
• Term: from 1995 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5191998

No abstract available

• DFG Programme: Research Grants