Data Reliability
C. A. R. Hoare
ISSN
0362−1340
Journal
SIGPLAN Notices
Keywords
Abstraction and representation‚ Avoidance of references‚ Data structuring‚ Software reliability
Month
June
Note
International Conference on Reliable Software‚ Los Angeles; ECS[53]
Number
6
Pages
528–533
Publisher
ACM
Volume
10
Year
1975