Return to search

Toward a man-machine system for proving program correctness

Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliography.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/608818429
Date January 1970
CreatorsGood, Donald I.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds