Formalization of quantum protocols using Coq. (English) Zbl 1477.68528
Heunen, Chris (ed.) et al., Proceedings of the 12th international workshop on quantum physics and logic, QPL’15, Oxford, UK, July 15–17, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 195, 71-83 (2015).