Approaches to improved program validation through programming language design
By: [by] Donald W. Kosy.
Publisher: Rand Corp.]
Published: 1972
Place of publication: [Santa Monica
Language: eng
Number of pages: 25
Subjects: Programming languages (Electronic computers); Debugging in computer science.; Computer programs -- Testing.
Notes: Bibliography: p. 24-25.
Cover title.