Publication:2851315
From MaRDI portal
zbMath1273.03104MaRDI QIDQ2851315
Rohit Chadha, Paulo Mateus, Amílcar Sernadas
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
Hoare Semigroups, Toward automatic verification of quantum programs, A proof system for disjoint parallel quantum programs, Formal semantics of a classical-quantum language, Reasoning about probabilistic sequential programs, Commutativity of quantum weakest preconditions, Termination of nondeterministic quantum programs