Conference item icon

Conference item

Counterexample Guided Abstraction Refinement via Program Execution

Actions


Authors


Alex Groce More by this author
Daniel Kroening More by this author
Publisher:
Springer
Publication date:
2004-11-01
URN:
uuid:bcdd6c34-0c39-4974-9571-697ec4c7470c
Local pid:
cs:732

Terms of use


Metrics



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

TO TOP