Hanyang University repository
menu
검색
Library
Hanyang
Browse
Communities & Collections
Titles
Authors
My Repository
My Account
Receive email updates
Edit Profile
Repository at Hanyang University
Search
All of Repository
COLLEGE OF ENGINEERING SCIENCES[E](공학대학)
COMPUTER SCIENCE AND ENGINEERING(컴퓨터공학과)
Articles
Theses (Master)
Theses (Ph.D.)
Start a new search
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-2 of 2 (Search time: 0.001 seconds).
Item hits:
Issue Date
Title
Author(s)
2005-04
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
이욱세
2006-11
A Practical String Analyzer by the Widening Approach
이욱세
previous
1
next
Discover
-Author
2
이욱세
-Subject
1
Abstract State
1
Context Sensitivity
1
Pointer Program
1
Regular Expression
1
Separation Logic
1
String Operator
1
Symbolic Location
1
Widening Operator
-Date issued
1
2006
1
2005
BROWSE
Communities & Collections
Titles
Authors