_version_ | 1797073136305307648 |
---|---|
author | Hoare, C |
author_facet | Hoare, C |
author_sort | Hoare, C |
collection | OXFORD |
description | |
first_indexed | 2024-03-06T23:17:42Z |
format | Record |
id | oxford-uuid:67aed4a6-ce33-465b-b4d6-3d3ce692696c |
institution | University of Oxford |
last_indexed | 2024-03-06T23:17:42Z |
publishDate | 2015 |
record_format | dspace |
spelling | oxford-uuid:67aed4a6-ce33-465b-b4d6-3d3ce692696c2022-03-26T18:39:56ZLinking Z and CSPRecordhttp://purl.org/coar/resource_type/c_1843uuid:67aed4a6-ce33-465b-b4d6-3d3ce692696cDepartment of Computer Science2015Hoare, C |
spellingShingle | Hoare, C Linking Z and CSP |
title | Linking Z and CSP |
title_full | Linking Z and CSP |
title_fullStr | Linking Z and CSP |
title_full_unstemmed | Linking Z and CSP |
title_short | Linking Z and CSP |
title_sort | linking z and csp |
work_keys_str_mv | AT hoarec linkingzandcsp |