Experiments in demonstrating the correctness of software
Publisher: Naval Postgraduate School
Published: 1978
Place of publication: Monterey, California
Language: eng
Subjects: Computer science
Notes: ADA062194.

Thesis (M.S. in Comp. Sci.)--Naval Postgraduate School, 1978.

Bibliography: l. 156-158.