Scholarworks@UNIST
UNIST Library
Search
Communities
Researchers & Labs
Titles
Issue Date
Browsing by Author : Deng, Xianghua
Go
All
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
가
나
다
라
마
바
사
아
자
차
카
타
파
하
All
가
나
다
라
마
바
사
아
자
차
카
타
파
하
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
Sort by:
title
issue date
submit 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
Etal:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 3 to 3 of 3
Past expression: Encapsulating pre-states at post-conditions by means of AOP
File
Yi, Jooyong
,
Robby
,
Deng, Xianghua
,
Roychoudhury, Abhik
Conference Paper
Issue Date
2013-03-24
View
8
1
Anonymous
Login
Communities
Researchers & Labs
Titles
Issue Date
Guide