Skip to main navigation Skip to search Skip to main content

SaTC: CORE: Small: Regulating and Leveraging Types for Security

Project: Research project

Project Details

Description

SaTC: CORE: Small: Regulating and Leveraging Types for Security
StatusFinished
Effective start/end date8/1/23 → 7/31/26

Funding

  • THE NATIONAL SCIENCE FOUNDATION