Concepedia

Author

Eunsuk Cho

ORCID

Also Known As

Eunsuk Cho, eunsuk Cho

12

Publications

18

Citations

2

H-Index

9

Concepts

EC

About

Eunsuk Cho is an author specializing in system software, formal specification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

15

2

Computer Science

1

1

15

3

Software Analysis

1

1

15

4

Software Engineering

1

1

15

5

Automated Reasoning

1

1

15

Eunsuk Cho

×

1

Publications

15

Citations

1

H-Index

YearCitations

Page 1