Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Główni autorzy: | , , , |
---|---|
Format: | Conference item |
Wydane: |
Poitiers‚ France
2007
|
Search Result 1
Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Wydane 2010
Journal article
Search Result 2
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
Wydane 2010
Journal article