Verification of Nondeterministic Quantum Programs

Feng, Y

Xu, Y

Permalink

Publisher:: Association for Computing Machinery (ACM)
Publication Type:: Conference Proceeding
Citation:: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, 2023, pp. 789-805
Issue Date:: 2023-03-25

Closed Access

	Filename	Description	Size
	CameraReady.pdf	Accepted version	753.71 kB	Adobe PDF	View/Open

Copyright Clearance Process

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896
dc.contributor.author	Xu, Y
dc.date.accessioned	2023-06-06T04:30:31Z
dc.date.available	2023-06-06T04:30:31Z
dc.date.issued	2023-03-25
dc.identifier.citation	Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, 2023, pp. 789-805
dc.identifier.uri	http://hdl.handle.net/10453/170664
dc.language	en
dc.publisher	Association for Computing Machinery (ACM)
dc.relation	http://purl.org/au-research/grants/arc/DP220102059
dc.relation	Sydney Quantum AcademySQA ID:PHDR06053
dc.relation.ispartof	Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
dc.relation.ispartof	Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
dc.relation.isbasedon	10.1145/3582016.3582039
dc.rights	info:eu-repo/semantics/closedAccess
dc.title	Verification of Nondeterministic Quantum Programs
dc.type	Conference Proceeding
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	closed_access	*
dc.date.updated	2023-06-06T04:30:30Z
pubs.publication-status	Published

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