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