CAREER: Lightweight, Blame-Aware Contract Checking

Project: Research project

Project Details

StatusFinished
Effective start/end date6/1/09 → 5/31/14

Funding

  • National Science Foundation (CCF-0846012)