1 results
8 - Predicate Transformer Semantics of Quantum Programs
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 311-360
-
- Chapter
- Export citation