Project Details
Projekt
An assertional proof theory for multi-threaded control flow in the object-based core of Java
Applicant
Professor Dr. Willem-Paul de Roever
Subject Area
Theoretical Computer Science
Term
from 2001 to 2002
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5330420
No abstract available
DFG Programme
Research Grants
