[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - A Formal Derivation of Grover's Quantum Search Algorithm
Zuliani, PaoloYear:
2007
Language:
english
DOI:
10.1109/tase.2007.3
File:
PDF, 249 KB
english, 2007