Refinement in Object−Z and CSP
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
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 |