You are currently reviewing an older revision of this page.
[Under construction]2015 AFOSR MURISemantics, Formal Reasoning, and Tool Support for Quantum Programming