Publication:2851315
From MaRDI portal
zbMath1273.03104MaRDI QIDQ2851315
Paulo Mateus, Amílcar Sernadas, Rohit Chadha
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001575
81P68: Quantum computation
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Reasoning about probabilistic sequential programs, Commutativity of quantum weakest preconditions, Termination of nondeterministic quantum programs