Informality in program specifications

Robert Balzer, Neil M. Goldman, David Wile. Informality in program specifications. In Sakti P. Ghosh, editor, American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA. Volume 47 of AFIPS Conference Proceedings, pages 671-672, AFIPS Press, 1978.

Abstract

Abstract is missing.