@article{barthegilles_relational_2019,
	title = {Relational proofs for quantum programs},
	url = {https://dl.acm.org/doi/abs/10.1145/3371089},
	abstract = {Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The i...},
	language = {EN},
	urldate = {2020-01-04},
	journal = {Proceedings of the ACM on Programming Languages},
	author = {BartheGilles and HsuJustin and YingMingsheng and YuNengkun and ZhouLi},
	month = dec,
	year = {2019},
	note = {ZSCC: NoCitationData[s0]},
	keywords = {⛔ No DOI found}
}

{"_id":"tZhvGyH8vLWSLh42j","bibbaseid":"barthegilles-hsujustin-yingmingsheng-yunengkun-zhouli-relationalproofsforquantumprograms-2019","authorIDs":[],"author_short":["BartheGilles","HsuJustin","YingMingsheng","YuNengkun","ZhouLi"],"bibdata":{"bibtype":"article","type":"article","title":"Relational proofs for quantum programs","url":"https://dl.acm.org/doi/abs/10.1145/3371089","abstract":"Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The i...","language":"EN","urldate":"2020-01-04","journal":"Proceedings of the ACM on Programming Languages","author":[{"firstnames":[],"propositions":[],"lastnames":["BartheGilles"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["HsuJustin"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["YingMingsheng"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["YuNengkun"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["ZhouLi"],"suffixes":[]}],"month":"December","year":"2019","note":"ZSCC: NoCitationData[s0]","keywords":"⛔ No DOI found","bibtex":"@article{barthegilles_relational_2019,\n\ttitle = {Relational proofs for quantum programs},\n\turl = {https://dl.acm.org/doi/abs/10.1145/3371089},\n\tabstract = {Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The i...},\n\tlanguage = {EN},\n\turldate = {2020-01-04},\n\tjournal = {Proceedings of the ACM on Programming Languages},\n\tauthor = {BartheGilles and HsuJustin and YingMingsheng and YuNengkun and ZhouLi},\n\tmonth = dec,\n\tyear = {2019},\n\tnote = {ZSCC: NoCitationData[s0]},\n\tkeywords = {⛔ No DOI found}\n}\n\n","author_short":["BartheGilles","HsuJustin","YingMingsheng","YuNengkun","ZhouLi"],"key":"barthegilles_relational_2019","id":"barthegilles_relational_2019","bibbaseid":"barthegilles-hsujustin-yingmingsheng-yunengkun-zhouli-relationalproofsforquantumprograms-2019","role":"author","urls":{"Paper":"https://dl.acm.org/doi/abs/10.1145/3371089"},"keyword":["⛔ No DOI found"],"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.483Z","downloads":0,"keywords":["⛔ no doi found"],"search_terms":["relational","proofs","quantum","programs","barthegilles","hsujustin","yingmingsheng","yunengkun","zhouli"],"title":"Relational proofs for quantum programs","year":2019,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}