SHF:Small: Reasoning about Specifications of Computation

Project: Research project

Project Details

Description

SHF:Small: Reasoning about Specifications of Computations
StatusFinished
Effective start/end date6/1/099/30/14

Funding

  • National Science Foundation