Software : requirements, specification and testing : proceedings of CSR Workshop, University of East Anglia, 10-12 April 1984 /
Anderson, T.(Thomas),1947-
Centre for Software Reliability.
Oxford Blackwell
1985
Bibliography: p139-144. - Includes index
Computer programs.