Toward automatic verification of quantum programs.

Ying, M

Permalink

Recently Added

	Filename	Size
	FAC18.pdf	819.08 kB	Adobe PDF	View/Open

Copyright Clearance Process

This item is new to OPUS and is not currently available.

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.accessioned	2020-06-11T06:51:36Z
dc.date.accessioned	2020-06-11T06:51:37Z
dc.date.available	2020-06-11T06:51:36Z
dc.date.available	2020-06-11T06:51:37Z
dc.date.issued	2019	en_US
dc.identifier.citation	Formal Asp. Comput., 2019, 31 pp. 3 - 25	en_US
dc.identifier.uri	http://hdl.handle.net/10453/141361
dc.relation	http://purl.org/au-research/grants/arc/DP160101652
dc.relation	http://purl.org/au-research/grants/arc/DP180100691
dc.relation.ispartof	Formal Asp. Comput.	en_US
dc.rights	info:eu-repo/semantics/restrictedAccess
dc.title	Toward automatic verification of quantum programs.	en_US
dc.type	Journal Article
utslib.citation.volume	31	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	recently_added	*
pubs.volume	31	en_US

Please use this identifier to cite or link to this item: