← SearchHIGHER-LEVEL MATHEMATICAL LANGUAGE FOR VERIFIABLE QUANTUM INFORMATION PROCESSING$592,992FY2019Department of the ArmyDODUniversity Of Tennessee, Memphis TNInvestigatorsView source on USAspending →