Número de Cutter-SanbornP957cEntrada «Prince, S.» → 957 · marca de obra “c”

Correctness proofs of APALI programs

Autor	Jan F. Prins
Editorial	Cornell Theory Center, Cornell University
Fecha de publicación	1986
Lugar	Ithaca, N.Y
Idioma	inglés
Páginas	12
Serie	Technical report / Cornell Theory Center -- CTC86TR5. · Technical report (Cornell Theory Center) -- 5.
Número de Cutter	`P957c`

Correctness proofs of APALI programs (1986) | Cutter Number