Toward automatic verification of quantum programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mingsheng Ying. Toward automatic verification of quantum programs. Formal Asp. Comput., 31(1):3-25, 2019. [doi]

@article{Ying19,
  title = {Toward automatic verification of quantum programs},
  author = {Mingsheng Ying},
  year = {2019},
  doi = {10.1007/s00165-018-0465-3},
  url = {https://doi.org/10.1007/s00165-018-0465-3},
  researchr = {https://researchr.org/publication/Ying19},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {31},
  number = {1},
  pages = {3-25},
}

runs on WebDSL