| _version_ |
1797083894231597056
|
| author |
Hoare, C
|
| author_facet |
Hoare, C
|
| author_sort |
Hoare, C
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T01:47:57Z
|
| format |
Conference item
|
| id |
oxford-uuid:9912c3b5-0e9d-4758-9b7a-dbb08f029fc2
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T01:47:57Z
|
| publishDate |
2002
|
| publisher |
Springer
|
| record_format |
dspace
|
| spelling |
oxford-uuid:9912c3b5-0e9d-4758-9b7a-dbb08f029fc22022-03-27T00:11:38ZAssertions in Programming: From Scientific Theory to Engineering PracticeConference itemhttp://purl.org/coar/resource_type/c_5794uuid:9912c3b5-0e9d-4758-9b7a-dbb08f029fc2Department of Computer ScienceSpringer2002Hoare, C
|
| spellingShingle |
Hoare, C
Assertions in Programming: From Scientific Theory to Engineering Practice
|
| title |
Assertions in Programming: From Scientific Theory to Engineering Practice
|
| title_full |
Assertions in Programming: From Scientific Theory to Engineering Practice
|
| title_fullStr |
Assertions in Programming: From Scientific Theory to Engineering Practice
|
| title_full_unstemmed |
Assertions in Programming: From Scientific Theory to Engineering Practice
|
| title_short |
Assertions in Programming: From Scientific Theory to Engineering Practice
|
| title_sort |
assertions in programming from scientific theory to engineering practice
|
| work_keys_str_mv |
AT hoarec assertionsinprogrammingfromscientifictheorytoengineeringpractice
|