@misc{indiciae09c1905604eb,
  title = {A Specification Format and a Verification Method of Fault-Tolerant Quantum Circuits},
  author = {Alexandru Paler and Simon J. Devitt},
  year = {2018},
  doi = {10.1103/physreva.98.022302},
  url = {https://arxiv.org/abs/1712.09892},
  note = {Source identifier: 1712.09892}
}