| _version_ |
1797053661384278016
|
| author |
Melham, T
|
| author_facet |
Melham, T
|
| author_sort |
Melham, T
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T18:46:48Z
|
| format |
Conference item
|
| id |
oxford-uuid:0ec9fecc-a69c-41ce-bf69-55bb1fc94aae
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T18:46:48Z
|
| publishDate |
2002
|
| publisher |
Springer−Verlag
|
| record_format |
dspace
|
| spelling |
oxford-uuid:0ec9fecc-a69c-41ce-bf69-55bb1fc94aae2022-03-26T09:47:47ZPROSPER: An Investigation into Software Architecture for Embedded Proof EnginesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:0ec9fecc-a69c-41ce-bf69-55bb1fc94aaeDepartment of Computer ScienceSpringer−Verlag2002Melham, T
|
| spellingShingle |
Melham, T
PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
|
| title |
PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
|
| title_full |
PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
|
| title_fullStr |
PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
|
| title_full_unstemmed |
PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
|
| title_short |
PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
|
| title_sort |
prosper an investigation into software architecture for embedded proof engines
|
| work_keys_str_mv |
AT melhamt prosperaninvestigationintosoftwarearchitectureforembeddedproofengines
|