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
Browsing byAuthorShi, WJ
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
ARC/NHRMC funded
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
Showing results 1 to 1 of 1
Issue Date
Title
Author(s)
2021-12-01
Symbolic Reasoning About Quantum Circuits in Coq
Shi, WJ
;
Cao, QX
;
Deng, YX
;
Jiang, HR
;
Feng, Y
