Concepedia

Author

S.T. Kim

Korea Advanced Institute of Science and Technology

Also Known As

S.T. Kim, Sang Taek Kim

3

Publications

22

Citations

2

H-Index

14

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology
SK

About

S.T. Kim is an author at Korea Advanced Institute of Science and Technology specializing in formal specification, formal methods, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

2

22

2

Computer Science

1

2

22

3

Systems Engineering

1

2

22

4

Software Analysis

1

2

22

5

Software Engineering

1

2

22

S.T. Kim

×

1

Publications

11

Citations

1

H-Index

YearCitations

Page 1