Model Checking Quantum Systems

  • Length: 220 pages
  • Publication Date: 2021-02-01