Correctness concerns and, among other things, why they are resented
Date
1974-11
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Department
Description
invited paper, to be presented at the International Conference on Reliable Software, Los Angeles, 21--23 April 1975; circulated privately