Verification of quantum protocols using Coq

Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nagarajan, Rajagopal ORCID: 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:	Organisation Middlesex University Expert Profile Middlesex University Expert Profile
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

View Item

Statistics

Activity Overview

6 month trend

0Downloads

6 month trend

453Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)