| _version_ |
1826266652409331712
|
| author |
Hoare, C
|
| author_facet |
Hoare, C
|
| author_sort |
Hoare, C
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T20:42:11Z
|
| format |
Journal article
|
| id |
oxford-uuid:34a70a57-2d66-43c8-99e6-3c5124985c20
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T20:42:11Z
|
| publishDate |
2015
|
| record_format |
dspace
|
| spelling |
oxford-uuid:34a70a57-2d66-43c8-99e6-3c5124985c202022-03-26T13:27:20ZMaths Adds Safety to Computer ProgramsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:34a70a57-2d66-43c8-99e6-3c5124985c20Department of Computer Science2015Hoare, C
|
| spellingShingle |
Hoare, C
Maths Adds Safety to Computer Programs
|
| title |
Maths Adds Safety to Computer Programs
|
| title_full |
Maths Adds Safety to Computer Programs
|
| title_fullStr |
Maths Adds Safety to Computer Programs
|
| title_full_unstemmed |
Maths Adds Safety to Computer Programs
|
| title_short |
Maths Adds Safety to Computer Programs
|
| title_sort |
maths adds safety to computer programs
|
| work_keys_str_mv |
AT hoarec mathsaddssafetytocomputerprograms
|