TAS:: 57 3600::TAS "(MURI 15) SEMANTICS, FORMAL REASONING, AND TOOL SUPPORT FOR QUANTUM PROGRAMMING"

$6,699,059FY2016Department of the Air ForceDOD

The Administrators Of Tulane Educational Fund

Investigators