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
Project Description
No abstract available
DFG Programme
Research Grants
