The correctness problem in computer science

Bibliografiset tiedot
Muut tekijät:	Boyer, Robert S., Moore, J Strother, 1947-
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	London Academic Press 1981.
Aiheet:	Computer programs > Correctness.