Skip navigation
Statistics
Help
About OPUS
How to Deposit
Managing Copyright
Browse
UTS Organisational Groups
Browse Items by:
Issue Date
Author
Title
Type
ARC/NHRMC Funded
Search OPUS
OPUS at UTS
Search
All of OPUS
Faculty of Engineering and Information Technology
Data Science Institute
General Collection
School of Biomedical Engineering
School of Civil and Environmental Engineering
School of Computer Science
School of Computing and Communications
School of Elec, Mech and Mechatronic Systems
School of Electrical and Data Engineering
School of Information, Systems and Modelling
School of Mechanical and Mechatronic Engineering
School of Professional Practice and Leadership
School of Software
School of Systems, Management and Leadership
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
File Name
File Description
Type
Copyright Status
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add Filter:
Title
Author
Subject
Date Issued
Has File(s)
File Name
File Description
Type
Copyright Status
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results
Customise results display
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Item hits:
Issue Date
Title
Author(s)
2020-01
Relational proofs for quantum programs
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
;
Zhou, L
Results 1-1 of 1 (Search time: 0.006 seconds).
previous
1
next
Discover
Author
1
Hsu J
1
Ying M
1
Yu N
1
Zhou L
Date issued
1
2020
Has File(s)
1
true
Type
1
Journal Article
Copyright Status
1
Open Access
