Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
Appel, Andrew Wilson
(PI)
Computer Science
Project
:
Research project
Overview
Project Details
Status
Finished
Effective start/end date
12/15/15
→
11/30/22
Funding
NSF - National Science Foundation
View all
View less