Conference item
Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Actions
Authors
Bibliographic Details
- Publisher:
- Poitiers‚ France
- Host title:
- Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA)
- Publication date:
- 2007-12-01
- ISBN:
- 9782854288148
Item Description
- UUID:
-
uuid:5ebe563e-aefd-48df-983e-00d2def9c24c
- Local pid:
- cs:5112
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2007
If you are the owner of this record, you can report an update to it here: Report update to this record