Concepedia

Jinsong Cheng

JC

Statistics

Publications

1

Citations

172

H-Index

1

Active since

1984

Affiliations

University of Manchester(Current)

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

Top concepts

Publications per year

1984–1984

1

Publications

1

A logic covering undefinedness in program proofs

Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations

, , +8

1–1 of 1