Concepedia

Author

Jinsong Cheng

University of Manchester

Also Known As

J. H. Cheng, Jinsong Cheng

2

Publications

174

Citations

2

H-Index

8

Concepts

All Affiliations

University of Manchester
JC

About

Jinsong Cheng is an author at University of Manchester specializing in automated reasoning, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

172

2

Computer Science

1

1

172

3

Software Analysis

1

1

172

4

Automated Reasoning

1

1

172

5

Formal Methods

1

1

172

Jinsong Cheng

×

1

Publications

172

Citations

1

H-Index

YearCitations

Page 1