scientific article
From MaRDI portal
Publication:2851315
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quantum computation (81P68) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Formal semantics of a classical-quantum language ⋮ Reasoning about probabilistic sequential programs ⋮ Commutativity of quantum weakest preconditions ⋮ Termination of nondeterministic quantum programs ⋮ Toward automatic verification of quantum programs ⋮ Hoare Semigroups ⋮ A proof system for disjoint parallel quantum programs
This page was built for publication:
