Verification of quantum protocols using Coq

Boender, Jaap, Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 and Nagarajan, Rajagopal ORCID logoORCID: https://orcid.org/0000-0002-9724-4962 (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain. . [Conference or Workshop Item]

Item Type: Conference or Workshop Item (Poster)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 15201
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 23 Apr 2015 11:01
Last Modified: 13 Oct 2016 14:33
URI: https://eprints.mdx.ac.uk/id/eprint/15201

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
453Hits

Additional statistics are available via IRStats2.