Data Reliability
C.A.R. Hoare
Book Title
Int. Conf. Reliable Software‚ Los Angeles
Month
June
Note
SIGPLAN Notices 10(6)
Pages
528–533
Publisher
ACM
Year
1975
C.A.R. Hoare