Axiomatic verification to enhance software reliability.
Publisher: Univ.Microfilms
Published: 1983
Place of publication: Ann Arbor
Language: eng
Number of pages: 131
Notes: Thesis (Ph. D.)--Cornell University, 1982.