TY  - RPRT
TI  - Versatile Formal Methods Applied to Quantum Information.
AU  - Witzel, Wayne
AU  - Rudinger, Kenneth Michael
AU  - Sarovar, Mohan
PY  - 2015
DO  - 10.2172/1331534
UR  - https://www.osti.gov/biblio/1331534
ID  - 1331534
ER  -