Formal Verification of Optical Quantum Flip Gate.

Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofine Tahar

Browse the full ITP paper archive.