Verification of quantum protocols using Coq

Boender, Jaap, Kammueller, Florian ORCID logoORCID: and Nagarajan, Rajagopal ORCID logoORCID: (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

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.