Refinement in Object−Z and CSP
Những tác giả chính: | , |
---|---|
Định dạng: | Conference item |
Được phát hành: |
2002
|
_version_ | 1826289500897148928 |
---|---|
author | Bolton, C Davies, J |
author_facet | Bolton, C Davies, J |
author_sort | Bolton, C |
collection | OXFORD |
description | |
first_indexed | 2024-03-07T02:29:50Z |
format | Conference item |
id | oxford-uuid:a6dbfeab-96fa-4f07-b211-c98d2a5354cb |
institution | University of Oxford |
last_indexed | 2024-03-07T02:29:50Z |
publishDate | 2002 |
record_format | dspace |
spelling | oxford-uuid:a6dbfeab-96fa-4f07-b211-c98d2a5354cb2022-03-27T02:50:23ZRefinement in Object−Z and CSPConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a6dbfeab-96fa-4f07-b211-c98d2a5354cbDepartment of Computer Science2002Bolton, CDavies, J |
spellingShingle | Bolton, C Davies, J Refinement in Object−Z and CSP |
title | Refinement in Object−Z and CSP |
title_full | Refinement in Object−Z and CSP |
title_fullStr | Refinement in Object−Z and CSP |
title_full_unstemmed | Refinement in Object−Z and CSP |
title_short | Refinement in Object−Z and CSP |
title_sort | refinement in object z and csp |
work_keys_str_mv | AT boltonc refinementinobjectzandcsp AT daviesj refinementinobjectzandcsp |