Equating Simulation with Refinement
| Main Authors: | , , , , , , |
|---|---|
| Format: | Record |
| Published: |
2003
|
| _version_ | 1826261451084398592 |
|---|---|
| author | He, J Hoare, T Fournet, C Gardiner, P Rajamani, S Rehof, J Roscoe, B |
| author_facet | He, J Hoare, T Fournet, C Gardiner, P Rajamani, S Rehof, J Roscoe, B |
| author_sort | He, J |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T19:21:39Z |
| format | Record |
| id | oxford-uuid:1a4e661a-4f2f-4e9d-961a-c7c0a8b76cd6 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:21:39Z |
| publishDate | 2003 |
| record_format | dspace |
| spelling | oxford-uuid:1a4e661a-4f2f-4e9d-961a-c7c0a8b76cd62022-03-26T10:53:59ZEquating Simulation with RefinementRecordhttp://purl.org/coar/resource_type/c_1843uuid:1a4e661a-4f2f-4e9d-961a-c7c0a8b76cd6Department of Computer Science2003He, JHoare, TFournet, CGardiner, PRajamani, SRehof, JRoscoe, B |
| spellingShingle | He, J Hoare, T Fournet, C Gardiner, P Rajamani, S Rehof, J Roscoe, B Equating Simulation with Refinement |
| title | Equating Simulation with Refinement |
| title_full | Equating Simulation with Refinement |
| title_fullStr | Equating Simulation with Refinement |
| title_full_unstemmed | Equating Simulation with Refinement |
| title_short | Equating Simulation with Refinement |
| title_sort | equating simulation with refinement |
| work_keys_str_mv | AT hej equatingsimulationwithrefinement AT hoaret equatingsimulationwithrefinement AT fournetc equatingsimulationwithrefinement AT gardinerp equatingsimulationwithrefinement AT rajamanis equatingsimulationwithrefinement AT rehofj equatingsimulationwithrefinement AT roscoeb equatingsimulationwithrefinement |