DARPA-BAA HR001117S0048, VERIFIABLE MODELING AND SIMULATIONS BASED ON COMPUTATIONAL CATEGORY THEORY

$177,385FY2019Department of the NavyDOD

North Carolina Agricultural And Technical State University

Investigators