Relational proofs for quantum programs

Publisher:
Association for Computing Machinery (ACM)
Publication Type:
Journal Article
Citation:
Proceedings of the ACM on Programming Languages, 2020, 4, (POPL), pp. 1-29
Issue Date:
2020-01
Full metadata record
Please use this identifier to cite or link to this item: