Approximating Predicate Images for Bit−Vector Logic
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2006
|
| _version_ | 1797088443613839360 |
|---|---|
| author | Kroening, D Sharygina, N |
| author_facet | Kroening, D Sharygina, N |
| author_sort | Kroening, D |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T02:50:10Z |
| format | Conference item |
| id | oxford-uuid:ad68b110-849d-4549-b2fc-263b16e468ef |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:50:10Z |
| publishDate | 2006 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:ad68b110-849d-4549-b2fc-263b16e468ef2022-03-27T03:35:22ZApproximating Predicate Images for Bit−Vector LogicConference itemhttp://purl.org/coar/resource_type/c_5794uuid:ad68b110-849d-4549-b2fc-263b16e468efDepartment of Computer ScienceSpringer2006Kroening, DSharygina, N |
| spellingShingle | Kroening, D Sharygina, N Approximating Predicate Images for Bit−Vector Logic |
| title | Approximating Predicate Images for Bit−Vector Logic |
| title_full | Approximating Predicate Images for Bit−Vector Logic |
| title_fullStr | Approximating Predicate Images for Bit−Vector Logic |
| title_full_unstemmed | Approximating Predicate Images for Bit−Vector Logic |
| title_short | Approximating Predicate Images for Bit−Vector Logic |
| title_sort | approximating predicate images for bit vector logic |
| work_keys_str_mv | AT kroeningd approximatingpredicateimagesforbitvectorlogic AT sharyginan approximatingpredicateimagesforbitvectorlogic |