Conference item icon

Conference item

Making the Most of BMC Counterexamples

Actions


Authors


Alex Groce More by this author
Daniel Kroening More by this author
Publisher:
Elsevier
Volume:
119
Publication date:
2005
URN:
uuid:bb1fb346-e0dc-4124-8185-5555d9ac9097
Local pid:
cs:734

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