Initial experience with a methodology for correct program design (Abstract of presentation)

F. T. Baker. Initial experience with a methodology for correct program design (Abstract of presentation). 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 637, AFIPS Press, 1978.

Abstract

Abstract is missing.