Publications
Export 2 results:
Filters: Keyword is QPL [Clear All Filters]
"Quantum weakest preconditions", Mathematical Structures in Computer Science, vol. 16, no. 3, pp. 1–23, 2006.
, "Reasoning about quantum knowledge", Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 3821: Springer Berlin / Heidelberg, pp. 553–564, 2005.
,