TYPES-Types for Proofs and Programs

  • Pollack, Randy (Principal Investigator)

Project Details

StatusFinished
Effective start/end date1/09/0431/07/12

Funding

  • EU government bodies: £21,840.00