The Correctness problem in computer science /

Bibliographic Details
Other Authors:	Boyer, Robert S., Moore, J Strother, 1947-
Format:	Book
Language:	English
Published:	London ; New York : Academic Press, 1981.
Series:	International lecture series in computer science.
Subjects:	Computer programs > Correctness.

Remote Storage