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

  • Appel, Andrew Wilson (PI)

Project: Research project

Project Details

StatusFinished
Effective start/end date12/15/15 → 11/30/22

Funding

  • NSF - National Science Foundation