On the Formal Verification of Optical Quantum Gates in HOL

Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar. On the Formal Verification of Optical Quantum Gates in HOL. In Manuel Núñez, Matthias Güdemann, editors, Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Volume 9128 of Lecture Notes in Computer Science, pages 198-211, Springer, 2015. [doi]

Authors

Mohamed Yousri Mahmoud

This author has not been identified. Look up 'Mohamed Yousri Mahmoud' in Google

Prakash Panangaden

This author has not been identified. Look up 'Prakash Panangaden' in Google

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google