Journal article
AFIPS, JOINT COMPUTER CONFERENCE, FALL ANAHEIM, CALIF, DEC 5-7 1972.
Abstract
Following is the continuation of the list of titles and authors of 139 conference papers. Design Methodology for Reliable Software Systems. By B. H. Liskov. Summary of Progress Toward Proving Program Correctness. By T. A. Linden. Supercomputers for Ordinary Users. By D. J. Kuck. Texas Instruments Advanced Scientific Computer. By J. Watson. Production Implementation of an Associative Array Processor - STARAN. By J. A. Rudolph. SIFT - Software …
Authors
Liskov BH; Linden TA; Kuck DJ; Watson J; Rudolph JA; Wensley JH; Fitzsimons RM; Burk JM; Schoonover J; Maestri GH
Journal
AFIPS Conf Proc Fall Jt Comput Conf, Vol. 41, ,
Publication Date
January 1, 1972