Login / Signup

Formalization of Quantum Protocols using Coq.

Jaap BoenderFlorian KammüllerRajagopal Nagarajan
Published in: QPL (2015)
Keyphrases