Project Details
Projekt
Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache
Applicant
Professor Tobias Nipkow, Ph.D.
Subject Area
Theoretical Computer Science
Term
from 2003 to 2004
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5406711
No abstract available
DFG Programme
Research Grants
