Search

Quantum PL & Verification Bibliography

About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX BibTeX bibtex2html BibBase
Mailing List

Light Dark Automatic

Zhengfeng Ji

Latest

Predicate Transformer Semantics of Quantum Programs

Published with Wowchemy.

Cite