Login / Signup

Verification of Quantum Computation: An Overview of Existing Approaches.

Alexandru GheorghiuTheodoros KapourniotisElham Kashefi
Published in: Theory Comput. Syst. (2019)
Keyphrases
  • quantum computation
  • multimedia
  • information technology
  • decision making
  • image processing
  • medical images
  • alternative approaches
  • formal methods
  • current status
  • pros and cons