![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 9128 || On the Formal Verification of Optical Quantum Gates in HOL
Núñez, Manuel, Güdemann, MatthiasVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-319-19458-5_13
File:
PDF, 265 KB
english, 2015