| _version_ |
1797066679564369920
|
| author |
Hoare, C
|
| author_facet |
Hoare, C
|
| author_sort |
Hoare, C
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T21:45:28Z
|
| format |
Journal article
|
| id |
oxford-uuid:496c86ab-dbfd-4901-b2dd-e94fc4f42e51
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T21:45:28Z
|
| publishDate |
1972
|
| record_format |
dspace
|
| spelling |
oxford-uuid:496c86ab-dbfd-4901-b2dd-e94fc4f42e512022-03-26T15:31:38ZProof of Correctness of Data RepresentationsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:496c86ab-dbfd-4901-b2dd-e94fc4f42e51Department of Computer Science1972Hoare, C
|
| spellingShingle |
Hoare, C
Proof of Correctness of Data Representations
|
| title |
Proof of Correctness of Data Representations
|
| title_full |
Proof of Correctness of Data Representations
|
| title_fullStr |
Proof of Correctness of Data Representations
|
| title_full_unstemmed |
Proof of Correctness of Data Representations
|
| title_short |
Proof of Correctness of Data Representations
|
| title_sort |
proof of correctness of data representations
|
| work_keys_str_mv |
AT hoarec proofofcorrectnessofdatarepresentations
|