The ideal of verified software
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
ACM
2006
|
| _version_ | 1826259743575900160 |
|---|---|
| author | Hoare, T |
| author_facet | Hoare, T |
| author_sort | Hoare, T |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T18:54:37Z |
| format | Conference item |
| id | oxford-uuid:11624209-de52-4001-ac93-5f50068effab |
| institution | University of Oxford |
| last_indexed | 2024-03-06T18:54:37Z |
| publishDate | 2006 |
| publisher | ACM |
| record_format | dspace |
| spelling | oxford-uuid:11624209-de52-4001-ac93-5f50068effab2022-03-26T10:02:07ZThe ideal of verified softwareConference itemhttp://purl.org/coar/resource_type/c_5794uuid:11624209-de52-4001-ac93-5f50068effabDepartment of Computer ScienceACM2006Hoare, T |
| spellingShingle | Hoare, T The ideal of verified software |
| title | The ideal of verified software |
| title_full | The ideal of verified software |
| title_fullStr | The ideal of verified software |
| title_full_unstemmed | The ideal of verified software |
| title_short | The ideal of verified software |
| title_sort | ideal of verified software |
| work_keys_str_mv | AT hoaret theidealofverifiedsoftware AT hoaret idealofverifiedsoftware |