Login / Signup
J. H. Cheng
Publication Activity (10 Years)
Years Active: 1984-1984
Publications (10 Years): 0
</>
Publications
</>
Howard Barringer
,
J. H. Cheng
,
Cliff B. Jones
A Logic Covering Undefinedness in Program Proofs.
Acta Informatica
21 (1984)