@inproceedings{, author = {Mahmoud, Mohamed Yousri and Aravantinos, Vincent and Tahar, Sofiene}, title = {Formal Verification of Optical Quantum Flip Gate}, booktitle = {Interactive Theorem Proving (ITP)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8558}, pages = {358--373}, year = {2014}, location = {Vienna, Austria}, isbn = {978-3-319-08969-0}, doi = {10.1007/978-3-319-08970-6}, }