TAS::57 3600::TAS "(YIP) SOFTWARE VERIFICATION WITH DIRECTED TYPE THEORY"

$453,016FY2016Department of the Air ForceDOD

Wesleyan University, Middletown CT

Investigators

View source on USAspending →