Verification of quantum protocols using Coq

Boender, Jaap, Kammueller, Florian and Nagarajan, Rajagopal (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain.

Full text is not in this repository.

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)

Edit Item Edit Item