Edinburgh Research Explorer

Unifying proof plans and schemas for program synthesis and transformation'

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/981/10/99
Period1/10/981/10/99

Description

EPSRC Visiting Fellowship GR/M32443 for Pierre Flener, (£4020).