- Publisher:
- Poitiers‚ France
- Publication date:
- 2007-12-01
- URN:
-
uuid:5ebe563e-aefd-48df-983e-00d2def9c24c
- Local pid:
- cs:5112
- ISBN:
- 9782854288148
- Copyright date:
- 2007
Conference item
Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record