TAS::57 3600::TAS "TRUSTED QUANTUM SOFTWARE VIA A FORMALLY VERIFIED FUNCTIONAL QUANTUM PROGRAMMING LANGUAGE"

$851,068FY2015Department of the Air ForceDOD

Dalhousie University, Halifax, Nova Scotia NS

Investigators