Towards Quantum Programs Verification: From Quipper Circuits to QPMC

  1. Lookup NU author(s)
  2. Linda Anticoli
  3. Dr Paolo Zuliani
Author(s)Anticoli L, Piazza C, Taglialegne L, Zuliani P
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name8th International Conference on Reversible Computation
Conference LocationBologna, Italy
Year of Conference2016
Source Publication Date
Volume9720
Pages213-219
Series TitleProgramming and Software Engineering
0302-9743
ISBN9783319405773
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-319-40578-0
DOI10.1007/978-3-319-40578-0_16
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item
Share