The Correctness problem in computer science
By: edited by R.S. Boyer and J Strother Moore.
Contributors: Boyer, Robert S.; Moore, J Strother, 1947-
Series: International lecture series in computer science
Publisher: Academic Press
Published: 1981
Place of publication: London; New York
Language: eng
Number of pages: 279
Subjects: Computer programs -- Correctness.
Notes: Includes bibliographies and index.