@misc{indiciae61b67c5b4e06,
  title = {Versatile Formal Methods Applied to Quantum Information.},
  author = {Witzel, Wayne and Rudinger, Kenneth Michael and Sarovar, Mohan},
  year = {2015},
  doi = {10.2172/1331534},
  url = {https://www.osti.gov/biblio/1331534},
  note = {Source identifier: 1331534}
}