The Weakest Prespecification II
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
1986
|
| _version_ | 1797101541495144448 |
|---|---|
| author | Hoare, C He, J |
| author_facet | Hoare, C He, J |
| author_sort | Hoare, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T05:53:18Z |
| format | Journal article |
| id | oxford-uuid:e9a55f9f-228c-4011-9b6b-9a6f7ba4c6f3 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T05:53:18Z |
| publishDate | 1986 |
| record_format | dspace |
| spelling | oxford-uuid:e9a55f9f-228c-4011-9b6b-9a6f7ba4c6f32022-03-27T10:55:47ZThe Weakest Prespecification IIJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:e9a55f9f-228c-4011-9b6b-9a6f7ba4c6f3Department of Computer Science1986Hoare, CHe, J |
| spellingShingle | Hoare, C He, J The Weakest Prespecification II |
| title | The Weakest Prespecification II |
| title_full | The Weakest Prespecification II |
| title_fullStr | The Weakest Prespecification II |
| title_full_unstemmed | The Weakest Prespecification II |
| title_short | The Weakest Prespecification II |
| title_sort | weakest prespecification ii |
| work_keys_str_mv | AT hoarec theweakestprespecificationii AT hej theweakestprespecificationii AT hoarec weakestprespecificationii AT hej weakestprespecificationii |