45,814 followers
Toward automatic verification of quantum programs https://t.co/Upa1B3r1OV | https://t.co/EzodjJh4zX by Ugo dal Lago in #MissionQuantum @nanoGateway, @INLnano.
Toward automatic verification of quantum programs https://t.co/Upa1B3r1OV | https://t.co/EzodjJh4zX by Ugo dal Lago in #MissionQuantum @nanoGateway, @INLnano.
Toward Automatic Verification of Quantum Programs. https://t.co/UDjV46h1U1
https://t.co/HlMcqWxg1X M Ying Toward Automatic Verification of Quantum Programs https://t.co/GLnvTQKgPw
"Toward Automatic Verification of Quantum Programs. (arXiv:1807.11610v1 [quant-ph])" #arXiv https://t.co/irLkuNPLcs