SHF:Small: Reasoning about Specifications of Computation

Nadathur, Gopalan (PI)

Computer Science and Engineering

Project: Research project

Description

SHF:Small: Reasoning about Specifications of Computations

Status	Finished
Effective start/end date	6/1/09 → 9/30/14

Funding

THE NATIONAL SCIENCE FOUNDATION