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