Welcome to Quantum Programming Languages & Verification Bibliography.

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

Please see the Contributing Guide or use this form if you would like to add/correct any entries.