The correctness problem in computer science

The correctness problem in computer science

Bibliographic Details
Other Authors: Boyer, Robert S., Moore, J Strother, 1947-
Format: Book
Language:English
Published: London Academic Press 1981.
Subjects:
Computer programs > Correctness.