Concepedia

Author

Bo Sun

Jiangsu University

Also Known As

Bo Sun

3

Publications

24

Citations

2

H-Index

8

Concepts

All Affiliations

Jiangsu University
BS

About

Bo Sun is an author at Jiangsu University specializing in automated reasoning, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

15

2

Computer Science

1

1

15

3

Systems Engineering

1

1

15

4

Automated Reasoning

1

1

15

5

Formal Methods

1

1

15

Bo Sun

×

1

Publications

15

Citations

1

H-Index

YearCitations

Page 1