Conference item icon

Conference item

Counterexample Guided Abstraction Refinement via Program Execution

Actions


Authors


Publisher:
Springer
Publication date:
2004-11-01
URN:
uuid:bcdd6c34-0c39-4974-9571-697ec4c7470c
Local pid:
cs:732

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP