Counterexample−guided Precondition Inference
| Autores principales: | , |
|---|---|
| Formato: | Conference item |
| Publicado: |
2013
|
| _version_ | 1826275308797427712 |
|---|---|
| author | Seghir, M Kroening, D |
| author_facet | Seghir, M Kroening, D |
| author_sort | Seghir, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:56:44Z |
| format | Conference item |
| id | oxford-uuid:60a89d59-8a91-4e38-93ff-696717b30595 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:56:44Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | oxford-uuid:60a89d59-8a91-4e38-93ff-696717b305952022-03-26T17:54:41ZCounterexample−guided Precondition InferenceConference itemhttp://purl.org/coar/resource_type/c_5794uuid:60a89d59-8a91-4e38-93ff-696717b30595Department of Computer Science2013Seghir, MKroening, D |
| spellingShingle | Seghir, M Kroening, D Counterexample−guided Precondition Inference |
| title | Counterexample−guided Precondition Inference |
| title_full | Counterexample−guided Precondition Inference |
| title_fullStr | Counterexample−guided Precondition Inference |
| title_full_unstemmed | Counterexample−guided Precondition Inference |
| title_short | Counterexample−guided Precondition Inference |
| title_sort | counterexample guided precondition inference |
| work_keys_str_mv | AT seghirm counterexampleguidedpreconditioninference AT kroeningd counterexampleguidedpreconditioninference |