Concepedia

Author

Wonyeol Lee

Pohang University of Science and TechnologyORCID

Also Known As

Lee, Wonyeol, W Y Lee, Won Lee, Won Yeol Lee, Wonyeol Lee

30

Publications

243

Citations

8

H-Index

33

Concepts

All Affiliations

Pohang University of Science and TechnologyStanford University
WL

About

Wonyeol Lee is an author at Pohang University of Science and Technology specializing in formal methods, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

94

2

Computer Science

4

4

94

3

Arts

2

2

88

4

Management

2

2

88

5

Computer Engineering

1

1

27

Wonyeol Lee

×

6

Publications

182

Citations

6

H-Index

YearCitations

Page 1