Unifying proof plans and schemas for program synthesis and transformation'

Project Details

Description

EPSRC Visiting Fellowship GR/M32443 for Pierre Flener, (£4020).
StatusFinished
Effective start/end date1/10/981/10/99

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.