Semantic Foundations for Interactive Programs

  • Krishnaswami, Neelakantan (Principal Investigator)

Project Details

Short titleSemantic Foundations for Interactive Programs
StatusFinished
Effective start/end date1/06/1631/08/17

Funding

  • Engineering & Physical Science Research Council