Concepedia

Author

Bongsuk Ko

Korea Advanced Institute of Science and TechnologyORCID

Also Known As

Bongsuk Ko

3

Publications

68

Citations

1

H-Index

12

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology
BK

About

Bongsuk Ko is an author at Korea Advanced Institute of Science and Technology specializing in formal methods, formal verification, and software design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

68

2

Computer Science

1

1

68

3

Programming Languages

1

1

68

4

Software Analysis

1

1

68

5

Software Engineering

1

1

68

Bongsuk Ko

×

1

Publications

68

Citations

1

H-Index

YearCitations

Page 1