Formal Verification of Gottesman Semantics

Jacob Zweifler, Robert Rand
June 2020
PDF Poster
Type
Poster
Publication
International Conference on Quantum Physics and Logic (QPL 2021) Poster