Concepedia

Author

Jung-Ho Bae

Also Known As

JUNGHO BAE, Jung-Ho Bae

10

Publications

62

Citations

4

H-Index

11

Concepts

All Affiliations

JB

About

Jung-Ho Bae is an author at Seoul National University Hospital specializing in formal methods, program analysis, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

14

2

Computer Science

1

1

14

3

Systems Engineering

1

1

14

4

Software Analysis

1

1

14

5

Software Engineering

1

1

14