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 computer science, logic, and proof assistants.
Publications per year
1984–1984
1
1
A logic covering undefinedness in program proofs
Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations
1–1 of 1