Refinement in Object−Z and CSP

Chi tiết về thư mục
Những tác giả chính: Bolton, C, Davies, J
Đị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