scientific article; zbMATH DE number 7699438
From MaRDI portal
Publication:6099610
DOI10.4230/LIPICS.ITP.2021.21arXiv2010.01240MaRDI QIDQ6099610
Author name not available (Why is that?)
Publication date: 20 June 2023
Full work available at URL: https://arxiv.org/abs/2010.01240
Title of this publication is not available (Why is that?)
Related Items (6)
\textsf{symQV}: automated symbolic verification of quantum programs ⋮ How to Verify a Quantum Computation ⋮ Type-safe quantum programming in Idris ⋮ Verification of quantum systems using barrier certificates ⋮ A Coq-based infrastructure for quantum programming, verification and simulation ⋮ Generating formally verified quantum Fourier transform algorithms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6099610)
