External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Nondeterministic Quantum Programs

Yuan Feng, Yingte Xu. Verification of Nondeterministic Quantum Programs. In Tor M. Aamodt, Natalie D. Enright Jerger, Michael M. Swift, editors, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023. pages 789-805, ACM, 2023. [doi]

Authors

Yuan Feng

This author has not been identified. Look up 'Yuan Feng' in Google

Yingte Xu

This author has not been identified. Look up 'Yingte Xu' in Google
runs on