On the Formal Verification of Optical Quantum Gates in HOL.

Mohamed Yousri Mahmoud, Prakash Panangaden, Sofine Tahar

Browse the full FMICS paper archive.