Supplementing the understanding of Z: a formal approach to database design
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
BCS
2003
|
| _version_ | 1797060283640840192 |
|---|---|
| author | Simpson, A Martin, A |
| author_facet | Simpson, A Martin, A |
| author_sort | Simpson, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T20:15:02Z |
| format | Conference item |
| id | oxford-uuid:2bd94f7c-fec3-4f6f-a7b2-008a1a8c471e |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:15:02Z |
| publishDate | 2003 |
| publisher | BCS |
| record_format | dspace |
| spelling | oxford-uuid:2bd94f7c-fec3-4f6f-a7b2-008a1a8c471e2022-03-26T12:33:31ZSupplementing the understanding of Z: a formal approach to database designConference itemhttp://purl.org/coar/resource_type/c_5794uuid:2bd94f7c-fec3-4f6f-a7b2-008a1a8c471eDepartment of Computer ScienceBCS2003Simpson, AMartin, A |
| spellingShingle | Simpson, A Martin, A Supplementing the understanding of Z: a formal approach to database design |
| title | Supplementing the understanding of Z: a formal approach to database design |
| title_full | Supplementing the understanding of Z: a formal approach to database design |
| title_fullStr | Supplementing the understanding of Z: a formal approach to database design |
| title_full_unstemmed | Supplementing the understanding of Z: a formal approach to database design |
| title_short | Supplementing the understanding of Z: a formal approach to database design |
| title_sort | supplementing the understanding of z a formal approach to database design |
| work_keys_str_mv | AT simpsona supplementingtheunderstandingofzaformalapproachtodatabasedesign AT martina supplementingtheunderstandingofzaformalapproachtodatabasedesign |