| _version_ |
1826262961480531968
|
| author |
Hoare, C
|
| author_facet |
Hoare, C
|
| author_sort |
Hoare, C
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T19:44:07Z
|
| format |
Record
|
| id |
oxford-uuid:21ae8c87-a9ba-48ac-a942-14077e95dae4
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T19:44:07Z
|
| publishDate |
2015
|
| record_format |
dspace
|
| spelling |
oxford-uuid:21ae8c87-a9ba-48ac-a942-14077e95dae42022-03-26T11:34:43ZFinal Report on SRC Project into Program ProvingRecordhttp://purl.org/coar/resource_type/c_1843uuid:21ae8c87-a9ba-48ac-a942-14077e95dae4Department of Computer Science2015Hoare, C
|
| spellingShingle |
Hoare, C
Final Report on SRC Project into Program Proving
|
| title |
Final Report on SRC Project into Program Proving
|
| title_full |
Final Report on SRC Project into Program Proving
|
| title_fullStr |
Final Report on SRC Project into Program Proving
|
| title_full_unstemmed |
Final Report on SRC Project into Program Proving
|
| title_short |
Final Report on SRC Project into Program Proving
|
| title_sort |
final report on src project into program proving
|
| work_keys_str_mv |
AT hoarec finalreportonsrcprojectintoprogramproving
|