article-journal

Commutativity of quantum weakest preconditions