Toward automatic verification of quantum programs
Crossref DOI link: https://doi.org/10.1007/s00165-018-0465-3
Published Print: 2019-02-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ying, Mingsheng http://orcid.org/0000-0003-4847-702X
Funding for this research was provided by:
Australian Research Council (DP160101652)
Text and Data Mining valid from 2019-02-12
Version of Record valid from 2019-02-12
Article History
Received: 30 May 2017
Accepted: 20 July 2018
First Online: 7 August 2018