Welcome to Quantum Programming Languages & Verification Bibliography.

Our goal is to provide canonical bibentries in BibTeX and BibLaTeX formats.

Please use this form if you find any mistakes or missing entries.