Skip to main navigation Skip to search Skip to main content

Real World Data with Dependent Types: Integrity and Interoperation

Project: Research - Studentship

Project Details

StatusFinished
Effective start/end date1/04/16 → 31/03/19

Funding

  • Microsoft Limited