Toward a man-machine system for proving program correctness

Description

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

Links & Downloads

1. http://catalog.hathitrust.org/api/volumes/oclc/36699838.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/608818429
Date	January 1970
Creators	Good, Donald I.
Source Sets	OCLC
Language	English
Detected Language	English