J. H. Cheng

According to our database, J. H. Cheng authored at least 1 paper in 1984.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1984

A Logic Covering Undefinedness in Program Proofs.

Howard Barringer, J. H. Cheng, Cliff B. Jones

Acta Informatica, 1984