Model Checking Recursive Programs with Numeric Data Types
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2011
|
| _version_ | 1826277043095994368 |
|---|---|
| author | Hague, M Lin, A |
| author_facet | Hague, M Lin, A |
| author_sort | Hague, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T23:22:57Z |
| format | Conference item |
| id | oxford-uuid:6963a7a4-f4ee-450f-ba5e-2d65082e66cf |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:22:57Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:6963a7a4-f4ee-450f-ba5e-2d65082e66cf2022-03-26T18:50:48ZModel Checking Recursive Programs with Numeric Data TypesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:6963a7a4-f4ee-450f-ba5e-2d65082e66cfDepartment of Computer Science2011Hague, MLin, A |
| spellingShingle | Hague, M Lin, A Model Checking Recursive Programs with Numeric Data Types |
| title | Model Checking Recursive Programs with Numeric Data Types |
| title_full | Model Checking Recursive Programs with Numeric Data Types |
| title_fullStr | Model Checking Recursive Programs with Numeric Data Types |
| title_full_unstemmed | Model Checking Recursive Programs with Numeric Data Types |
| title_short | Model Checking Recursive Programs with Numeric Data Types |
| title_sort | model checking recursive programs with numeric data types |
| work_keys_str_mv | AT haguem modelcheckingrecursiveprogramswithnumericdatatypes AT lina modelcheckingrecursiveprogramswithnumericdatatypes |