Collaborative Research: Expeditions in Computing: The Science of Deep Specification

Project: Research project

Project Details

StatusActive
Effective start/end date12/15/1511/30/22

Funding

  • NSF - National Science Foundation