Correctness proofs of APALI programs
By: Jan F. Prins.
Contributors: Cornell Theory Center.
Series: Technical report / Cornell Theory Center -- CTC86TR5.; Technical report (Cornell Theory Center) -- 5.
Publisher: Cornell Theory Center, Cornell University
Published: 1986
Place of publication: Ithaca, N.Y
Language: eng
Number of pages: 12
Notes: Cover title.

Includes bibliographical references.